Conference Paper/Proceeding/Abstract 1723 views
Proofs-as-programs in computable analysis
Ulrich Berger
Electronic Communications of the EASST, Volume: 23, Start page: 5 pp.
Swansea University Author: Ulrich Berger
Abstract
Proofs-as-programs in computable analysis
| Published in: | Electronic Communications of the EASST |
|---|---|
| Published: |
2009
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa50 |
| Item Description: |
In AVOCS '09, Intnl. Workshop on Automated Verification of Critical Systems, Gregynog, United Kingdom |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
5 pp. |