2006 | Buch
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
herausgegeben von: Thomas Ball, Robert B. Jones
Verlag: Springer Berlin Heidelberg
Buchreihe : Lecture Notes in Computer Science