Khurshid, Sarfraz. <br/><br/>
Runtime Verification  Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / 
edited by Sarfraz Khurshid, Koushik Sen. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642298608 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Software engineering.; Computer software.; Logic design.; Computer Science.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.