@inproceedings{DC00,
title = {A {P}{V}{S} Proof Obligation Generator for {L}ustre Programs },
author = {Dumas, C\'ecile and Caspi, Paul},
year = {2000},
booktitle = {7th International Conference on Logic for Programming and Automated Reasoning},
series = {Lecture Notes in Artificial Intelligence},
volume = {1955},
team = {SYNC},
}
