C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Type Checking Program Code using SHACL (Extended Version).
Martin Leinberger
Philipp Seifer
Claudia Schon
Ralf Lämmel
Steffen Staab
Published in:
CoRR (2019)
Keyphrases
</>
program code
type checking
data types