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

Blatter, Lionel

  1. Certified Verification of Relational Properties
    2022/01/01 by Lionel Blatter, Blatter, Lionel, Nikolaï Kosmatov +5 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering (cs.SE)