Elements of Mathematical Analysis in PVS (1996)

Cached

Download Links

by Bruno Dutertre
Venue:Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
Citations:19 - 0 self