DMCA

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

by Friedrich W. Von Henke , Sam Owre , Stephan Pfab , Harald Ruess
Venue:Lakhnech Eds., Springer Advances in Computing Science
Citations:1 - 0 self