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

Ingo Feinerer

  1. A comparison of tools for teaching formal software verification
    2008/06/10 by Ingo Feinerer, Gernot Salzer · 1 citation
    Computer Science · #Logic, programming, and type systems #Software Engineering Research #Software Testing and Debugging Techniques