Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science (939), Band 939)

Verification

von Pierre Wolper

Taschenbuch

ISBN: 978-3-540-60045-9

ISBN-10: 3-540-60045-0

Springer · 2008