Login / Signup
Johan van der Berg
ORCID
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Theorem Prover
Tool Support
Modelling Language
Requirements Engineering
Top Venues
SOFL+MSVL
</>
Publications
</>
Johan van der Berg
,
Stefan Gruner
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL.
SOFL+MSVL
(2018)