Pnueli A Et Al <br/><br/>
Logic and Software Engineering - Proceedings of the International Workshop in Honor of Chih-Sung Tang 

 -  World Scientific  WSPC  1996 
<br/><br/><label>ISBN: </label>9789814530729 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science