Vol-240⫷ Vol-241 ⫸Vol-242
urn:nbn:de:0074-241-0


Vol-241/paper-9⫷Vol-241/paper-10⫸Vol-241/paper-11

From Requirements Models to Formal Specifications in B