TY  - DATA
AU  - J. Esparza-B. Spanfelner-O. Grumberg
TI  - Logics and Languages for Reliability and Security
T2  - NATO Science for Peace and Security Series. D, Information and Communication Security
SN  - 9781607500995
PB  - IOS Press
KW  -  Information Technology
KW  - Computer logic--Congresses.,Computer security--Congresses
KW  - COMPUTERS
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=1361692
ER  -