Search for persons
X
?
2
Computer Aided Verification
20th International Conference, CAV 2008 Princeton, NJ, USA,...
Lecture Notes in Computer Science ; 5123;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
3
Computer aided verification
20th international conference, CAV 2008, Princeton, NJ, USA...
Lecture notes in computer science ; 5123