Not registered as user yet

Name: Milad K. Ghale

Affiliation: The Australian National University

Contributions

FormaliSE 2019Author of Modular Synthesis of Verified Verifiers of Computation with STV Algorithms within the FormaliSE 2019-track