Chapter
Formal Analysis in Model Management: Exploiting the Power of CZT
Authors
Williams JR; Polack FAC; Paige RF
Book title
Abstract State Machines, Alloy, B and Z
Editors
Hutchison D; Kanade T; Kittler J; Kleinberg JM; Mattern F; Mitchell JC; Naor M; Nierstrasz O; Pandu Rangan C; Steffen B
Volume
5977
Pagination
pp. 414-414
Publisher
Springer Berlin Heidelberg
Publication Date
2010
DOI
10.1007/978-3-642-11811-1_46