@inproceedings{BM5,
title = { Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra },
author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
year = {2015},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP} 2015, Nanjing, China, August 24-27, 2015, Proceedings},
pages = {100--116},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9236},
team = {DCS, PACSS, , axe_FormalProofs},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33613856
|
|
|