Conference Paper/Proceeding/Abstract 1170 views
Proofs-as-programs in computable analysis
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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. |