Login / Signup
Magne Haveraaen
ORCID
Publication Activity (10 Years)
Years Active: 1988-2023
Publications (10 Years): 15
Top Topics
Formal Methods
Higher Education
Software Engineering
Top Venues
ARRAY@PLDI
CoRR
J. Log. Algebraic Methods Program.
FMFun
</>
Publications
</>