Havelund, Klaus. <br/><br/>
Formal Approaches to Software Testing and Runtime Verification (EBook)  First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers  [electronic resource] / 
edited by Klaus Havelund, 
 - Berlin Heidelberg :  Springer-Verlag GmbH.,  2006 
 - 262p  v.: digital  
 - Lecture Notes in Computer Science,  4262 .
<br/><br/><label>ISBN: </label>9783540497035 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Computer Science<br/>Information Systems<br/>Logic design<br/>Logics and Meanings of Programs<br/>Management of Computing and Information Systems<br/>Programming Languages, Compilers, Interpreters<br/>Software engineering<br/>Software Engineering