Program Extraction from Large Proof Developments (2003)

by Luíz Cruz-Filipe , Bas Spitters
Citations:9 - 5 self