Statistics
Publications
4
Citations
63
H-Index
4
Active since
2019
Affiliations
Chalmers University of Technology(Current)
Andreas Lööw is an author at Chalmers University of Technology specializing in formal methods, deductive verification, and computer science.
Publications per year
2019–2023
4
4
Verified compilation on a verified processor
Andreas Lööw, Ramana Kumar, Yong Kiam Tan et al. · 2019 · 24 citations
1–4 of 4