Jacky, Jonathan <br/><br/>
Model-based software testing and analysis with C# 

 - Cambridge  Cambridge University Press  2008 
 - xvi,349p. 
<br/><br/>   
<br/><br/><label>ISBN: </label>9780521687614 
<br/><br/><label>Subjects--Index Terms: </label>Computer software - testing  Computer Software - Quality Control  C# Computer programme language  Computer science