Search for persons
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
?
2
Advances in Information and Communication Technology: Proce..
Lecture Notes in Networks and Systems, 848
?
3
Advances in Information and Communication Technology: Proce..
Lecture Notes in Networks and Systems, 847