Skip to content

Formal Methods for Conformance Testing: Theory Can Be Practical.

Ed Brinksma

VenueA*CAV
Year1999
ProceedingsCAV

Browse the full CAV paper archive.