Login / Signup
Soma Szeier
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Formal Language
Theorem Prover
Modelling Language
Formal Semantics
Top Venues
IFL
</>
Publications
</>