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


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

info visites 4155658