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:20 - 0 self