Aarhus University Seal / Aarhus Universitets segl

Mikkel Milo

  1. 2021
  2. Published

    Extracting smart contracts tested and verified in Coq. / Annenkov, Danil; Milo, Mikkel; Nielsen, Jakob Botsch; Spitters, Bas.

    CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. ed. / Catalin Hritcu; Andrei Popescu. Association for Computing Machinery, 2021. p. 105-121.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review