Verimag

bibtex

@inproceedings{MG00,
    title = {Step-wise + Algorithmic debugging for Reactive Programs: LuDiC, a debugger for Lustre },
    author = {Maraninchi, Florence and Gaucher, Fabien},
    month = {aug},
    year = {2000},
    booktitle = {AADEBUG'2000 -- Fourth International Workshop on Automated Debugging},
    address = {Munich},
    team = {SYNC},
}

Publication Sections


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

Logged in visitors: 11 ; visits: 440928