Personensuche
X
?
1
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, Ju...
Lecture Notes in Computer Science ; 10817;Theoretical Computer Science and General Issues ; 10817;SpringerLink, Bücher;Springer eBook Collection, Computer Science