IOHK |
ライブラリー
ライブラリー > Jacco Krijnen
Jacco Krijnen
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November 2023, Science of Computer Programming
ライブラリー > Jacco Krijnen
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November 2023, Science of Computer Programming