Elements of mathematical analysis in PVS (1996)

by B Dutertre
Venue:Theorem Proving in Higher Order Logics: 9th International Conference. TPHOLs’97, number 1125 in Lecture Notes in Computer Science