Philipp Seifer
Identifiers
- name variant Philipp Seifer 0.50 · backfill
Papers (1)
- Type Checking Program Code using SHACL (Extended Version) cs.PL · 2019 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Claudia Schon 1 shared papers
- Martin Leinberger 1 shared papers
- Ralf L\"ammel 1 shared papers
- Steffen Staab 1 shared papers