Modeling and verification of sC++ applications (1998)

by T Cattel
Venue:In Proc. of the Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1384