Philipp Seifer

Identifiers

• name variant Philipp Seifer 0.50 · backfill

Papers (1)

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