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

Navarro-Pérez, Juan Antonio

  1. Separation Logic Modulo Theories
    2013/03/11 by Juan Antonio Navarro-Pérez, Navarro-Pérez, Juan Antonio, Andrey Rybalchenko +1 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems