@inproceedings{CCF+08,
title = {Combination of Abstractions in the ASTR\'EE Static Analyzer },
author = {Cousot, Patrick and Cousot, Radhia and Feret, J\'er\^ome and Mauborgne, Laurent and Min\'e, Antoine and Monniaux, David and Rival, Xavier},
year = {2008},
booktitle = {Advances in Computer Science --- ASIAN 2006. Secure Software and Related Issues},
pages = {272--300},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {4435},
team = {SYNC,PACSS},
}