Proving the Shalls

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_6 ◽

2003 ◽

pp. 75-93 ◽

Cited By ~ 12

Author(s):

Steven P. Miller ◽

Alan C. Tribble ◽

Mats P. E. Heimdahl

Download Full-text