B. BERARD. M. BIDOIT.A.FINKEL.F.LAROUSSINIE <br/><br/>
SYSTEMS AND SOFTWARE VERIFICATION  
B. BERARD. M. BIDOIT.A.FINKEL.F.LAROUSSINIE 
 - GERMANY  SPRINGER  2001 
 - 190 
<br/><br/><br/>Supercomputing Lab<br/> 
<br/><br/><label>ISBN: </label>3540415238 
<br/><br/><label>Dewey Class. No.: </label>005.1421