Prawf: An Interactive Proof System for Program Extraction
| Date first appeared online | 24/06/2020 |
| DOI | 10.1007/978-3-030-51466-2_12 |
| Authors | Petrovska O., Berger U. |
| Journal Name | Lecture Notes in Computer Science |
| Volume | 12098 |
| Date first appeared online | 24/06/2020 |
| DOI | 10.1007/978-3-030-51466-2_12 |
| Authors | Petrovska O., Berger U. |
| Journal Name | Lecture Notes in Computer Science |
| Volume | 12098 |