Showing 1 - 3 results of 3 for search 'Bubel, Richard', query time: 0.02s Narrow Search
  1. 1
    Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY
    Published 2020
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  2. 2
    The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday
    Published 2022
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  3. 3
    Deductive Software Verification – The KeY Book From Theory to Practice
    Published 2016
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: