Ab Rahim, Whittle. Verifying Semantic Conformance of State Machine-to-Java Code Generators. In Dorina Petriu, Nicolas Rouquette, Øystein Haugen, editors, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010.
Publication has no abstract