Statistics
Publications
1
Citations
35
H-Index
1
Active since
2014
Affiliations
Uppsala University(Current)
Mattias Tumlin is an author at Uppsala University specializing in program analysis, formal verification, and automated reasoning.
Publications per year
2014–2014
1
1
Tracing dynamic features in python programs
Beatrice Åkerblom, Jonathan Stendahl, Mattias Tumlin et al. · 2014 · 35 citations
1–1 of 1