Optimized Program Extraction for Induction and Coinduction (2018)

First Author: Berger U
Attributed to:  Interactive Theorem Proving for System Verification and Program Extraction funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.springer.com/us/book/9783319944173

Type: Conference/Paper/Proceeding/Abstract

Volume: 10936