conf.researchr.org / Edith Heiter
Not registered as user yet
Name:Edith Heiter
Affiliation:Saarland University
Contributions
| CoqPL 2020 | Author of A Coq Library of Undecidable Problems within the CoqPL-track |
Not registered as user yet
Contributions
| CoqPL 2020 | Author of A Coq Library of Undecidable Problems within the CoqPL-track |