J. Esparza-B. Spanfelner-O. Grumberg <br/><br/>
Logics and Languages for Reliability and Security 

 -  IOS Press  2010 
 - NATO Science for Peace and Security Series. D, Information and Communication Security .
<br/><br/><label>ISBN: </label>9781607500995 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Information Technology<br/>Computer logic--Congresses.,Computer security--Congresses.<br/>COMPUTERS