ROBINSON, D <br/><br/>
ASPECT - ORIENTED PROGRAMMING WITH THE E VERIFICATION LANGUAGE 

 - Amsterdam  Elsevier  2007 
 - xvii+244p.,22x18Cms. 
<br/><br/><label>ISBN: </label>0123742100 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 R632