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


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

info visites 4190692