Conference
Automatic Generation of Integrated Formal Models Corresponding to UML System Models
Authors
Treharne H; Turner E; Paige RF; Kolovos DS
Editors
Oriol M; Meyer B
Volume
33
Pagination
pp. 357-367
Publisher
Springer Berlin Heidelberg
Publication Date
January 1, 2009
DOI
10.1007/978-3-642-02571-6_21