Nachum Dershowitz, editor, Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Volume 2772 of Lecture Notes in Computer Science, Springer, 2003.
Conference: BIRTHDAY2003
No reviews for this publication, yet.