Glossar Abkürzungen / Thema
[3]and Z-Formal Methods in Software Development, Proceedings 1990, Springer-Verlag 1990
Permanenter Link LNCS428 - Erstellungsdatum 2021-01-20