Skip to content

Using algebraic specifications to find sequencing defects.

Kurt M. Olender, James M. Bieman

VenueAISSRE
Year1993
ProceedingsISSRE

Browse the full ISSRE paper archive.