Concepedia

Author

Francisco Ferreira

Imperial College LondonORCID

Also Known As

F. Ferreira, Ferreira, Francisco, Francisco Ferreira

24

Publications

195

Citations

8

H-Index

25

Concepts

All Affiliations

Imperial College LondonMcGill University
FF

About

Francisco Ferreira is an author at Imperial College London specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

126

2

Computer Science

5

5

126

3

Computer Engineering

1

1

22

4

Linguistics

1

1

13

5

Computer Architecture

1

1

22

Francisco Ferreira

×

5

Publications

126

Citations

5

H-Index

YearCitations

Page 1