Glossar Abkürzungen / Thema
Proceedings of ACM Conference on Proving Assertions about Programs, Las Cruces, New Mexico, 1972, (ACM 1972) (informationswissenschaftl. Veröffentlichungen).
Permanenter Link CPAAP - Erstellungsdatum 2021-01-20