Verimag

bibtex

@inproceedings{JJG+03,
    title = { Automatic State Reaching for Debugging Reactive Programs },
    author = {Jahier, Erwan and Jeannet, Bertrand and Gaucher, Fabien and Maraninchi, Florence},
    month = {sep},
    year = {2003},
    booktitle = {AADEBUG'2003 -- Fifth International Workshop on Automated Debugging},
    address = {Ghent},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 895480