Thomas Th\"um

Identifiers

No identifiers captured yet.

Papers (2)

1. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY cs.PL · 2018 · author #2
2. Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering cs.SE · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander Kn\"uppel 1 shared papers
• Carsten Pardylla 1 shared papers
• Ina Schaefer 1 shared papers
• Julia Rubin 1 shared papers