Login / Signup
Thomas Bøgholm
ORCID
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 4
Top Topics
Algebraic Operations
Safety Critical
Model Checking
Java Programming
Top Venues
J. Comput. Lang.
JTRES
Innov. Syst. Softw. Eng.
Models, Mindsets, Meta
</>
Publications
</>