@inproceedings{Cruz-Filipe02,
author = {Luis Cruz-Filipe},
title = {Formalizing real calculus in {Coq}},
pages = {158-166},
year = {2002},
crossref = {tphols2002fcm}
}
@proceedings{tphols2002fcm,
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Theorem Proving in Higher Order Logics,
Proceedings of the Workshop on Formalising Continuous Mathematics,
Hampton, VA, USA, August 19, 2002},
booktitle = {Theorem Proving in Higher Order Logics,
Proceedings of the Workshop on Formalising Continuous Mathematics,
Hampton, VA, USA, August 19, 2002},
publisher = {NASA Technical Report NASA/CP-2002-211736},
year = {2002},
}