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

Murgia, Maurizio

  1. A minimal core calculus for Solidity contracts
    2019/08/06 by Bartoletti, Massimo, Galletta, Letterio, Murgia, Maurizio · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  2. Contextual Behavioural Metrics (Extended Version)
    2023/07/14 by Lago, Ugo Dal, Murgia, Maurizio · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)