Edalat A Et Al <br/><br/>
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop 

 -  ICP  World Scientific  1996 
<br/><br/><label>ISBN: </label>9781783263455 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science