Statistics
Publications
1
Citations
35
H-Index
1
Active since
2017
Affiliations
Technische Universität Dresden(Current)
Benjamin Lamowski is an author at Technische Universität Dresden specializing in system software, formal verification, and formal methods.
Publications per year
2017–2017
1
1
Benjamin Lamowski, Carsten Weinhold, Adam Lackorzyński et al. · 2017 · 35 citations
Engineering, Software Engineering, Memory Model (Programming) +18
1–1 of 1