Verimag

bibtex

@inproceedings{JR06,
    title = { Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra },
    author = {Jahier, Erwan and Raymond, Pascal},
    month = {09},
    year = {2006},
    booktitle = {Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'06)},
    address = {{N}antes, {F}rance},
    note = {http://www.irisa.fr/manifestations/2006/CSTVA06/},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 817251