Concepedia

Author

François Bourdoncle

Also Known As

Bourdoncle, François, François Bourdoncle

17

Publications

680

Citations

8

H-Index

16

Concepts

All Affiliations

FB

About

François Bourdoncle is an author at École Nationale Supérieure des Mines de Paris specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

338

2

Computer Science

4

4

338

3

Software Analysis

4

4

338

4

Language Studies

2

2

173

5

Linguistics

2

2

173

François Bourdoncle

×

4

Publications

338

Citations

4

H-Index

YearCitations

Page 1