Logics and Languages for Reliability and Security - J. Esparza-B. Spanfelner-O. Grumberg (IOS Press, 2010)
Keywords: Information Technology; Computer logic--Congresses.,Computer security--Congresses.; COMPUTERS