TY  - GEN
T1  - Logics and languages for reliability and security
DA  - 2010.
CY  - Washington, D.C. :
AU  - Esparza, Javier.
AU  - Spanfelner, Bernd.
AU  - Grumberg, Orna.
VL  - v. 25
CN  - QA76.7
PB  - IOS Press,
PP  - Washington, D.C. :
PY  - 2010.
N1  - Includes indexes.
ID  - 476418
KW  - Programming languages (Electronic computers)
KW  - Languages, Artificial.
KW  - Computers
KW  - Computer security.
TI  - Logics and languages for reliability and security
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10403989
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10403989
ER  -