Blasting Linux Code

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_14 ◽

2007 ◽

pp. 211-226 ◽

Author(s):

Jan Tobias Mühlberg ◽

Gerald Lüttgen

Download Full-text