Advanced formal verification 

 - Boston:  Kluwer Academic Publishers,  2004 
 - xxv, 249 p. : ill. ; 25 cm 
<br/><br/><label>ISBN: </label>9781402077210 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Decision trees
<br/><br/><label>Dewey Class. No.: </label>621.381548 DRE