Aarhus University Seal / Aarhus Universitets segl

Jakob Botsch Nielsen

  1. 2020
  2. Udgivet

    Smart contract interactions in coq. / Nielsen, Jakob Botsch; Spitters, Bas.

    Formal Methods- FM 2019 International Workshops - Revised Selected Papers. red. / Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas. Cham : Springer, 2020. s. 380-391 (Lecture Notes in Computer Science, Bind 12232).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  3. Udgivet

    ConCert: A smart contract certification framework in Coq. / Annenkov, Danil; Botsch Nielsen, Jakob; Spitters, Bas.

    Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA. New York : Association for Computing Machinery, 2020. s. 215-228 (CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  4. 2019
  5. Udgivet

    Smart Contract Interactions in Coq. / Nielsen, Jakob Botsch; Spitters, Bas.

    0. udg. ArXiv, 2019.

    Publikation: Working paperForskningpeer review

  6. Udgivet