Verimag

bibtex

@article{FJJ+97,
    title = {An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology },
    author = {Fernandez, Jean-Claude and Jard, Claude and J\'eron, Thierry and Viho, C\'esar},
    year = {1997},
    journal = {Sci. Comput. Program.},
    number = {1},
    pages = {123-146},
    volume = {29},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 10 ; visits: 449470