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

Clochard, Martin

  1. Gobra: Modular Specification and Verification of Go Programs (extended version)
    2021/05/28 by Wolf, Felix A., Arquint, Linard, Clochard, Martin +3 · 2 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)