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

Pettorossi, Alberto

  1. Analysis and Transformation of Constrained Horn Clauses for Program Verification
    2021/08/02 by De Angelis, Emanuele, Fioravanti, Fabio, Gallagher, John P. +3 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)