Chapter
Agile Formal Method Engineering
Authors
Paige RF; Brooke PJ
Book title
Integrated Formal Methods
Editors
Hutchison D; Kanade T; Kittler J; Kleinberg JM; Mattern F; Mitchell JC; Naor M; Nierstrasz O; Pandu Rangan C; Steffen B
Volume
3771
Pagination
pp. 109-128
Publisher
Springer Berlin Heidelberg
Publication Date
2005
DOI
10.1007/11589976_8