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

Vanzetto, Hernán

  1. TLA+ Proofs
    2012/08/29 by Denis Cousineau, Damien Doligez, Cousineau, Denis +9 · 3 citations
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques