Items where Author is "Rahim, Lukman Ab"

Contribution in Book/Report/Proceedings

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, Oslo, Norway, October 3-8, 2010, Proceedings, Part I :. Lecture Notes in Computer Science . Springer Verlag, Berlin, pp. 166-180. ISBN 978-3-642-16144-5