Not registered as user yet

Name: Frantisek Farka

Contributions

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