Vol-1530⫷ Vol-1531 ⫸Vol-1532
urn:nbn:de:0074-1531-0


Vol-1531/paper1⫷Vol-1531/paper2⫸Vol-1531/paper3

Integrating Formal Methods with Model-Driven Engineering