@inproceedings{BMM+8,
title = { {The Verified Polyhedron Library: an overview} },
author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre and Monniaux, David and P'erin, Micha\"el and Yu, Hang},
month = {Sep},
year = {2018},
booktitle = {{20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)}},
address = {Timisoara, Romania},
pages = {9-17},
publisher = {{IEEE Computer Society}},
series = {20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
team = {PACSS, axe_FormalProofs},
}
