@inproceedings{89eadbd7734b402390346f155a19ee51,
title = "The r{\^o}le of abstract interpretation in formal methods",
author = "Patrick Cousot",
year = "2007",
doi = "10.1109/SEFM.2007.42",
language = "English (US)",
isbn = "0769528848",
series = "Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007",
pages = "135--137",
booktitle = "Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007",
note = "5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 ; Conference date: 10-09-2007 Through 14-09-2007",
}