日本語
ライブラリー > Tudor Ferariu
Tudor Ferariu,Prof Philip Wadler,Orestis Melkonian
May/2025, FMBC '25
AGDAFORMAL VERIFICATIONSMARTCONTRACT
Polina Vinogradova,Orestis Melkonian,Prof Philip Wadler,Manuel Chakravarty,Jacco Krijnen,Michael Peyton Jones,James Chapman,Tudor Ferariu
April/2024, FMBC 2024
UTXO