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