An edition of Computer aided verification (1999)
Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
By Nicolas Halbwachs,Doron Peled
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
July 30, 1999
Publisher
Springer
Language
eng
Pages
506
Book Lists