Rybalchenko, Andrey
- 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