Dershowitz, Nachum Ed.,
Verification: theory and practice - Berlin Springer 2003 - 782 - Lecture notes in computer science ; 02772 .
Essays dedicated to Zohar Manna on the occasion of his 64th birthday.
3540210024
681 LNCS
Verification: theory and practice - Berlin Springer 2003 - 782 - Lecture notes in computer science ; 02772 .
Essays dedicated to Zohar Manna on the occasion of his 64th birthday.
3540210024
681 LNCS