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