The University of Warwick Library - WebBridge

Unit checking: Symbolic model checking for a unit of code ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY
International Symposium on Verification - Theory and Practice in honor of the 64th Birthday of Zohar Manna.  v. 2772.   2003. p. 548 - 567... issn: 0302-9743 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.