@inproceedings{BCD+98,
title = {A tool for proving {Lustre} programs in {PVS} },
author = {Bensalem, Saddek and Caspi, Paul and Dumas, C\'ecile and Parent-Vigouroux, Catherine},
month = {june},
year = {1998},
booktitle = {TOOLS'98},
team = {SYNC},
}