Modeling and Analyzing the Interaction of C and C++ Strings

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_6 ◽

2012 ◽

pp. 67-85 ◽

Author(s):

Gogul Balakrishnan ◽

Naoto Maeda ◽

Sriram Sankaranarayanan ◽

Franjo Ivančić ◽

Aarti Gupta ◽

...

Download Full-text