Skip to content

A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications.

Isabel Nunes, Filipe Lus

VenueAICST
Year2013
ProceedingsICST Workshops

Browse the full ICST paper archive.