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

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3902311