Concepedia

Author

Olivier Maffeïs

Also Known As

Maffeis, Olivier, Olivier Maffeis, Olivier MaffeÏs, Olivier Maffeïs

9

Publications

116

Citations

5

H-Index

10

Concepts

All Affiliations

OM

About

Olivier Maffeïs 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

Olivier Maffeïs

×

3

Publications

63

Citations

3

H-Index

YearCitations

Page 1