Model Driven Engineering Languages and Systems Book

publication venue for

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

publisher

Springer Berlin Heidelberg Publisher

International Standard Book Number (ISBN) 13

9783642161445
9783642161452