Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science (531), Band 531)

Verification

von: Edmund M. Clarke · Robert P. Kurshan

Taschenbuch

ISBN: 978-3-540-54477-7

ISBN-10: 3-540-54477-1

Springer · 2008