Catherine Parent-Vigouroux. Verifying Programs in the Calculus of Inductive Constructions. Formal Asp. Comput., 9(5-6):484-517, 1997.
@article{Parent-Vigouroux97, title = {Verifying Programs in the Calculus of Inductive Constructions}, author = {Catherine Parent-Vigouroux}, year = {1997}, tags = {program verification}, researchr = {https://researchr.org/publication/Parent-Vigouroux97}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {9}, number = {5-6}, pages = {484-517}, }