Conference
FPTC: Automated Safety Analysis for Domain-Specific Languages
Authors
Paige RF; Rose LM; Ge X; Kolovos DS; Brooke PJ
Editors
Chaudron MRV
Volume
5421
Pagination
pp. 229-242
Publisher
Springer Berlin Heidelberg
Publication Date
2009
DOI
10.1007/978-3-642-01648-6_25