Bensalem, Saddek. <br/><br/>
Runtime Verification  9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / 
edited by Saddek Bensalem, Doron A. Peled. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642046940 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Operating systems (Computers).; Computer system performance.; Software engineering.; Computer software.; Logic design.; Computer Science.; Software Engineering.; Performance and Reliability.; Programming Languages, Compilers, Interpreters.; System Performance and Evaluation.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.