Autor / AutorinAichernig, Bernhard K
Autor / AutorinBrorsson, Mats
Autor / AutorinCleophas, Ton J
Autor / AutorinInternational Conference on Formal Methods for Open Object-Based Distributed Systems
Neu hinzugefügt... in den letzten 3 Monaten
SchlagwortLogics and Meanings of Programs
SchlagwortSoftware engineering