bibtex

@inproceedings{CM12,
    title = {Experiments on the feasibility of using a floating-point simplex in an {SMT} solver },
    author = {Caminha Barbosa de Oliveira, Diego and Monniaux, David},
    year = {2012},
    booktitle = {Workshop on Practical Aspects of Automated Reasoning (PAAR)},
    publisher = {CEUR Workshop Proceedings},
    team = {SYNC,PACSS},
}


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

info visites 4092488