conf.researchr.org / Frantisek Farka
Not registered as user yet
Name:Frantisek Farka
Contributions
| PADL 2019 | Author of Proof Carrying Plans within the PADL 2019-track |
Not registered as user yet
Contributions
| PADL 2019 | Author of Proof Carrying Plans within the PADL 2019-track |