Alexander Kn\"uppel
Identifiers
- name variant Alexander Kn\"uppel 0.50 · backfill
Papers (1)
- Experience Report on Formally Verifying Parts of OpenJDK's API with KeY cs.PL · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Carsten Pardylla 1 shared papers
- Ina Schaefer 1 shared papers
- Thomas Th\"um 1 shared papers