Abstracting C with abC

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_43 ◽

2002 ◽

pp. 515-520 ◽

Author(s):

Dennis Dams ◽

William Hesse ◽

Gerard Holzmann

Download Full-text