Login / Signup
Mats Per Erik Heimdahl
Publication Activity (10 Years)
Years Active: 1991-2021
Publications (10 Years): 15
Top Topics
Architectural Design
Formal Verification
Software Engineering Education
Reference Models
Top Venues
ASE
IEEE Trans. Software Eng.
RE
MiSE
</>
Publications
</>