bibtex

@inproceedings{FJJ+96,
    title = {Using On-The-Fly Verification Techniques for the Generation of test Suites },
    author = {Fernandez, Jean-Claude and Jard, Claude and J\'eron, Thierry and Viho, C\'esar},
    year = {1996},
    booktitle = {Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
    pages = {348-359},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {1102},
    team = {DCS},
}


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

info visites 3899866