Statistics
Publications
2
Citations
45
H-Index
2
Active since
2014
Affiliations
Moa Johansson is an author at Chalmers University of Technology specializing in theorem proving, automated reasoning, and predicate logic.
Publications per year
2014–2015
2
2
1–2 of 2