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