Prof. Dr. Martin Wirsing: Modulare und wiederverwendbare Spezifikationen

Lecture