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

IEEE Trans. Software Eng.

Publications