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

Espitau, Thomas

  1. An Assertion-Based Program Logic for Probabilistic Programs
    2018/03/14 by Barthe, Gilles, Espitau, Thomas, Gaboardi, Marco +3 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)