Model Chacking 
Edmund M. Clarke,Jr 
<br/><br/><label>ISBN: </label>0262032708  Avalable 
<br/><br/><label>LC Class. No.: </label>004.21CLA  / 1706