Verimag

bibtex

@incollection{Ray08,
    title = {Synchronous Program Verification with Lustre/Lesar },
    author = {Raymond, Pascal},
    year = {2008},
    booktitle = {Modeling and Verification of Real-Time Systems},
    chapter = {6},
    publisher = {ISTE/Wiley},
    team = {SYNC},
}

Publication Sections


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

Logged in visitors: 7 ; visits: 462410