Verifying Semantic Conformance of State Machine-to-Java Code Generators Chapter uri icon

publication date

  • 2010

International Standard Book Number (ISBN) 13

  • 9783642161445
  • 9783642161452

number of pages

  • 14

start page

  • 166

end page

  • 180