3
Publications
50
Citations
3
H-Index
2005
Active since
Affiliations
Chalmers University of Technology(Current)
Angela Wallenburg is an author at Chalmers University of Technology specializing in engineering, program analysis, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationBig DataManagementData Science
Publications per year
2005–2014
3
3
K. Rustan M. Leino, Angela Wallenburg · 2008 · 12 citations
Software Maintenance, Engineering, Object Categorization +25
Rows per page
1–3 of 3