Conference
Model transformation specification for automated formal verification
Authors
Sani AA; Polack FAC; Paige RF
Pagination
pp. 76-81
Publisher
IEEE
Publication Date
December 1, 2011
DOI
10.1109/MySEC.2011.6140647
Conference proceedings
2011 Malaysian Conference in Software Engineering