bibtex

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


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899819