Monika Seisenberger
| Use attributes for filter ! | |
| Affiliations | Swansea University |
|---|---|
| Interests | Program Extraction |
| Verification | |
| Interactive Theorem Proving | |
| Proof Theory | |
| Logic | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3322799 |
About Monika Seisenberger
Monika Seisenberger Photos
