@inproceedings{FBP4,
title = { Modular and lightweight certification of polyhedral abstract domains },
author = {Fouilh\'e, Alexis and Boulm\'e, Sylvain and P'erin, Micha\"el},
month = {May},
year = {2014},
booktitle = {Types for Proofs and Programs (TYPES 2014) -- Book of Abstracts},
team = {DCS, PACSS, , axe_FormalProofs},
}
