Vol-1590⫷ Vol-1591 ⫸Vol-1592
urn:nbn:de:0074-1591-0


Vol-1591/paper4⫷Vol-1591/paper5⫸Vol-1591/paper6

Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology