Huismam, Marieke <br/><br/>
Reasoning about java programming in higher order logic with PVS and Isabelle   
by Marieke Huisman 
 - Utrecht  IPA  2001 
 - x,240p 
 - IPA Dissertation series .
<br/><br/><label>ISBN: </label>9090144404 
<br/><br/><label>Dewey Class. No.: </label>005.117  / N73