Statistics
Publications
1
Citations
20
H-Index
1
Active since
2006
Affiliations
Saarland University(Current)
Paula Böhm is an author at Saarland University specializing in formal methods, computer science, and formal specification.
Publications per year
2006–2006
1
1
Towards the formal verification of lower system layers in automotive systems
Sven Beyer, Paula Böhm, M. Gerke et al. · 2006 · 20 citations
Engineering, Hardware Verification Language, Verification +23
1–1 of 1