Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science (575), Band 575)

Verification

von: Kim G. Larsen · Arne Skou

Taschenbuch

ISBN: 978-3-540-55179-9

ISBN-10: 3-540-55179-4

Springer · 2008