Program Extraction from Large Proof Developments (2003)

Cached

Download Links

by Luíz Cruz-Filipe , Bas Spitters
Citations:6 - 4 self