Statistics
Publications
1
Citations
12
H-Index
1
Active since
2009
Affiliations
Queen Mary University of London(Current)
Erik A. Mathiesen is an author at Queen Mary University of London specializing in formal verification, formal methods, and program analysis.
Publications per year
2009–2009
1
1
1–1 of 1