Modeling and veri cation of sC++ applications (1998)

by Thierry Cattel
Venue:Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems