Concepedia

Author

Françoise Berthier

Also Known As

Françoise BERTHIER, Françoise Berthier

3

Publications

508

Citations

3

H-Index

9

Concepts

FB

About

Françoise Berthier is an author specializing in formal methods, programming languages, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

498

2

Computer Engineering

1

1

498

3

Computer Science

1

1

498

4

Computer Architecture

1

1

498

5

Programming Languages

1

1

498

Françoise Berthier

×

1

Publications

498

Citations

1

H-Index

YearCitations

Page 1