Not registered as user yet

Name:Frantisek Farka

Contributions

PADL 2019 Author of Proof Carrying Plans within the PADL 2019-track