Logics and Languages for Reliability and Security
J. Esparza-B. Spanfelner-O. Grumberg
Logics and Languages for Reliability and Security - IOS Press 2010 - NATO Science for Peace and Security Series. D, Information and Communication Security .
9781607500995
Information Technology
Computer logic--Congresses.,Computer security--Congresses.
COMPUTERS
Logics and Languages for Reliability and Security - IOS Press 2010 - NATO Science for Peace and Security Series. D, Information and Communication Security .
9781607500995
Information Technology
Computer logic--Congresses.,Computer security--Congresses.
COMPUTERS