Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1633), Band 1633)

Verification

von: Nicolas Halbwachs · Doron Peled

Taschenbuch

EAN=ISBN-13: 978-3-540-66202-0

ISBN-10: 3-540-66202-2

Springer Berlin Heidelberg · 2008