Showing 1 - 1 results of 1 for search 'Alexander Knüppel', query time: 0.02s Refine Results
  1. 1
    Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

    Experience Report on Formally Verifying Parts of OpenJDK's API with KeY by Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

    Published 2018-11-01
    Get full text
    Article

Search Tools: