Towards Light-Weight Verification and Heavy-Weight Testing, In Tool Support for System Specification (1999)

by Stephan Pfab, Harald Rue, Sam Owre, Friedrich W von Henke
Venue:Lakhnech Eds., Springer Advances in Computing Science