Verifying Semantic Conformance of State Machine-to-Java Code Generators

Rahim, Lukman Ab and Whittle, Jon (2010) Verifying Semantic Conformance of State Machine-to-Java Code Generators. In: Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings, Part I.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > Q Science (General)
Depositing User: Lukman A Rahim
Date Deposited: 12 Sep 2012 01:13
Last Modified: 12 Sep 2012 01:13
URI: http://scholars.utp.edu.my/id/eprint/7833

Actions (login required)

View Item
View Item