Releases von N Halbwachs

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 (Taschenbuch) (1999)
Taschenbuch
Computer Aided Verification: 11t...
N Halbwachs