Verimag

bibtex

@article{Par97,
    title = {Verifying programs in the {Calculus} of {Inductive} {Constructions} },
    author = {Parent-Vigouroux, Catherine},
    year = {1997},
    journal = {Formal Aspects of Computing},
    pages = {484--517},
    volume = {9},
    team = {SYNC},
}

Publication Sections


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

info visites 845749