Suchergebnisse - Ulbrich, Mattias

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Dynamic dispatch for method contracts through abstract predicates
    von Mostowski, Wojciech, Ulbrich, Mattias

    Veröffentlicht 2016
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Deductive software verification: future perspectives: reflections on the occasion of 20 years of KeY

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Ulbrich, Mattias …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: