Gabbar, Hossam A <br/><br/>
Modern Formal Methods and Applications 

 - UK  Springer  2006 
<br/><br/><label>ISBN: </label>9781402042225 
<br/><br/><label>Dewey Class. No.: </label>005.131  / GAB