Search for persons
X
?
2
Automated Technology for Verification and Analysis: 17th In..
Programming and Software Engineering, 11781
?
6
Foundations of Software Science and Computation Structures
20th International Conference, FOSSACS 2017, Held as Part o...
Lecture Notes in Computer Science ; 10203;SpringerLink, Bücher
?
8
Dependable software systems engineering
NATO science for peace and security. Series D, Information and communication security, vol. 45
?
12
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denm...
Lecture Notes in Computer Science ; 8572;SpringerLink, Bücher
?
13
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denm...
Lecture Notes in Computer Science ; 8573;SpringerLink, Bücher