Carsten Pardylla

Identifiers

• name variant Carsten Pardylla 0.50 · backfill

Papers (1)

1. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY cs.PL · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander Kn\"uppel 1 shared papers
• Ina Schaefer 1 shared papers
• Thomas Th\"um 1 shared papers