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


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

info visites 3900436