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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 3748582