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

Kumar, Amrit

  1. Scilla: a Smart Contract Intermediate-Level LAnguage
    2018/01/02 by Ilya Sergey, Amrit Kumar, Sergey, Ilya +3 · 1 voice · 5 citations
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.PL