Margaria, Tiziana. <br/><br/>
Correct Hardware Design and Verification Methods  11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / 
edited by Tiziana Margaria, Tom Melham. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540447986 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer hardware.; Software engineering.; Logic design.; Artificial intelligence.; Computer aided design.; Computer Science.; Computer Hardware.; Logics and Meanings of Programs.; Software Engineering.; Artificial Intelligence (incl. Robotics).; Computer-Aided Engineering (CAD, CAE) and Design.; Mathematical Logic and Formal Languages.