1
Publications
22
Citations
1
H-Index
1995
Active since
Affiliations
Monika M�llerburg is an author at Gesellschaft Fur Mathematik Und Datenverarbeitung specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Verification
Publications per year
1995–1995
1
1
Rows per page
1–1 of 1