|Original language||English (US)|
|Title of host publication||Logics and languages for reliability and security|
|Editors||J. Esparza, B. Spanfelner, O. Grumberg|
|State||Published - 2010|
|Name||NATO Science for Peace and Security Series D: Information and Communication Security|
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
TY - CHAP
T1 - A scalable introduction to formal verification of computer systems by abstract interpretation
AU - Cousot, Patrick
AU - Cousot, Radhia
PY - 2010
Y1 - 2010
M3 - Chapter (peer-reviewed)
T3 - NATO Science for Peace and Security Series D: Information and Communication Security
SP - 1
EP - 29
BT - Logics and languages for reliability and security
A2 - Esparza, J.
A2 - Spanfelner, B.
A2 - Grumberg, O.
PB - IOS Press