bibtex

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


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

info visites 4191111