Palanque, Philippe. <br/><br/>
Interactive Systems Design, Specification, and Verification  7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers / 
edited by Philippe Palanque, Fabio Paterṇ. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540446750 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Software engineering.; Logic design.; Computer graphics.; Computer Science.; User Interfaces and Human Computer Interaction.; Computer Graphics.; Software Engineering.; Logics and Meanings of Programs.