Paperback Book
Show unavailable items

Releases by N Halbwachs

June 23, 1999

Cover for N Halbwachs · Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings (International Conference, Cav '99, Trento, Italy, July 6-10, 1999, Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1999)
Paperback Book
Computer Aided Verification: 11t...
N Halbwachs