English
Library > Tudor Ferariu
Tudor Ferariu,Prof Philip Wadler,Orestis Melkonian
May 2025, To appear in: 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