Modeling and verification of sC++ applications (1998)

by T Cattel
Venue:In TACAS ’98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems