vix.ing · top · new · best · stats · spec

Dave, Kinnari

  1. Foundational Verification of Smart Contracts through Verified Compilation
    2024/05/14 by Vilhelm Sjöberg, Kinnari Dave, Sjöberg, Vilhelm +15 · 1 citation
    Business, Management and Accounting · Computer Science · Economics, Econometrics and Finance · #Blockchain Technology Applications and Security #F.3.1 #F.3.2 #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Insurance and Financial Risk Management #Programming Languages (cs.PL)