DMCA

Formal Verification of Java Code Generation from UML Models

by Jan Olaf , Blech Sabine , Glesner Johannes Leitner