Alexander Kn\"uppel

Identifiers

• name variant Alexander Kn\"uppel 0.50 · backfill

Papers (1)

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