IOHK |
Library
Library > Wouter Swierstra
Wouter Swierstra
May 2025, To appear in: FMBC '25
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November 2023, Science of Computer Programming