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

Ulbrich, Mattias

  1. Deductive Verification of Floating-Point Java Programs in KeY
    2021/01/21 by Boroujeni, Rosa Abbasi, Schiffl, Jonas, Darulova, Eva +2 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)