DMCA

On Automating the Extraction of Programs from Termination Proofs

Cached

Download Links

by Fairouz Kamareddine , Francois Monin , Mauricio Ayala-Rincon