Sound Symbolic Linking in the Presence of Preprocessing

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_9 ◽

2013 ◽

pp. 122-136 ◽

Cited By ~ 1

Author(s):

Gijs Vanspauwen ◽

Bart Jacobs

Download Full-text