Search for persons
X
?
1
Verified software: theories, tools, experiments
third international conference, VSTTE 2010, Edinburgh, UK, ...
Lecture notes in computer science ; 6217
?
2
Computer Aided Verification (vol. # 3576)
17th International Conference, CAV 2005, Edinburgh, Scotlan...
Lecture Notes in Computer Science ; 3576
?
3
Computer aided verification
17th international conference, CAV 2005, Edinburgh, Scotlan...
Lecture notes in computer science ; 3576
?
4
Model Checking Software
10th International SPIN Workshop Portland, OR, USA, May 9–1...
Lecture Notes in Computer Science ; 2648;SpringerLink, Bücher;Springer eBook Collection, Computer Science