PETRENKO,A <br/><br/>
FORMAL APPROACHES TO SOFTWARE TESTING THIRD INTERNATIONAL WORKSHOP ON FORMAL APP 

 - BERLIN  Springer  2004 
 - viii+266p.,23X15Cms> 
<br/><br/><label>ISBN: </label>354020894 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 P495