Jacco O. G. Krijnen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Machine Translation

Ubiquitous Environments

Top Venues

Sci. Comput. Program.

Publications

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation certification for smart contracts. Sci. Comput. Program. 233 (2024)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. FLOPS (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. CoRR (2022)