@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009434
|
|
|