Vol-1083⫷ Vol-1084 ⫸Vol-1085
urn:nbn:de:0074-1084-0


Vol-1084/paper7⫷Vol-1084/paper8
Iulia DragomirChristian PerceboisIulian Ober

Integrating verifiable Assume/Guarantee contracts in UML/SysML