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
@proceedings{birthday:2003manna, title = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday}, year = {2003}, researchr = {https://researchr.org/publication/birthday%3A2003manna}, cites = {0}, citedby = {0}, booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday}, conference = {BIRTHDAY}, editor = {Nachum Dershowitz}, volume = {2772}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21002-4}, }