TY  - BOOK
AU  - Esparza,Javier
AU  - Spanfelner,Bernd
AU  - Grumberg,Orna
ED  - Technische Universit�at M�unchen (Germany)
ED  - TECHNION.
ED  - ebrary, Inc.
TI  - Logics and languages for reliability and security
T2  - NATO science for peace and security series. D, Information and communication security
AV  - QA76.7 .L64eb
PY  - 2010///
CY  - Washington, D.C.
PB  - IOS Press
KW  - Programming languages (Electronic computers)
KW  - Languages, Artificial
KW  - Computers
KW  - Reliability
KW  - Computer security
KW  - Electronic books
KW  - local
N1  - Includes indexes; Electronic reproduction; Palo Alto, Calif.; ebrary; 2010; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://site.ebrary.com/lib/strathmore/Doc?id=10403989
ER  -