Vol-2357⫷ Vol-2358 ⫸Vol-2359
urn:nbn:de:0074-2358-0


Vol-2358/paper-01⫷Vol-2358/paper-02⫸Vol-2358/paper-03
Bernd Westphal

Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture)