Verification :  theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / 
Nachum Dershowitz, ed. 
 - Berlin :  Springer-Verlag,  2004 
 - 782 p. 
 - Lecture notes in computer science ;  no. 2772 .
<br/><br/><label>ISBN: </label>3540210024 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification
<br/><br/><label>LC Class. No.: </label>QA76.76 V47  / V48