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 | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899627