bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1364639