IEEE International computer software and applications conference (29  2005  Edinburgh) <br/><br/>
High-assurance software systems. COMPSAC 2005. Proceedings   

 - Los Alamitos  IEEE  2005 
 - xix, 565p.  incl. bibl. 
<br/><br/> Supported by Motorola 
<br/><br/><label>ISBN: </label>0769524133 
<br/><br/><label>Dewey Class. No.: </label>005.3  / P051 "SER"