Verimag

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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 16 ; visits: 392298