Lukman Ab Rahim, Jon Whittle. Verifying Semantic Conformance of State Machine-to-Java Code Generators. In Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen, editors, Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Volume 6394 of Lecture Notes in Computer Science, pages 166-180, Springer, 2010. [doi]
Abstract is missing.