|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|
Cousot, P., & Cousot, R. (2010). A scalable introduction to formal verification of computer systems by abstract interpretation. In J. Esparza, B. Spanfelner, & O. Grumberg (Eds.), Logics and languages for reliability and security (pp. 1-29). (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 25). IOS Press.