Concepedia

Author

Monika M�llerburg

Gesellschaft Fur Mathematik Und Datenverarbeitung

Also Known As

Monika M�llerburg

1

Publications

22

Citations

1

H-Index

10

Concepts

All Affiliations

Gesellschaft Fur Mathematik Und Datenverarbeitung
MM

About

Monika M�llerburg is an author at Gesellschaft Fur Mathematik Und Datenverarbeitung specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

22

2

Computer Science

1

1

22

3

Software Analysis

1

1

22

4

Software Testing

1

1

22

5

Automated Reasoning

1

1

22

Monika M�llerburg

×

1

Publications

22

Citations

1

H-Index

YearCitations

Systematic testing and formal verification to validate reactive programs

Monika M�llerburg, Leszek Holenderski, Olivier Maffeïs,

Software Quality Journal

1995

22

Page 1