Concepedia

Author

Massiot Georges

Centre National de la Recherche Scientifique

Also Known As

Massiot Georges

1

Publications

67

Citations

1

H-Index

4

Concepts

All Affiliations

Centre National de la Recherche Scientifique
MG

About

Massiot Georges is an author at Centre National de la Recherche Scientifique specializing in engineering, verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

67

2

Automated Reasoning

1

1

67

3

Formal Methods

1

1

67

4

Verification

1

1

67

Massiot Georges

×

1

Publications

67

Citations

1

H-Index

YearCitations

Page 1