Concepedia

Author

Ferruccio Guidi

Also Known As

FERRUCCIO GUIDI, Ferruccio Guidi, Guidi, F., Guidi, Ferruccio, Guidi, Ferruccio <1969>, Guidi, Ferruccio; University Of Bologna

34

Publications

218

Citations

8

H-Index

11

Concepts

All Affiliations

FG

About

Ferruccio Guidi is an author at University of Bologna specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Computer Science

1

1

10

3

Mathematics Education

1

1

38

4

Mathematical Foundations

1

1

10

5

Semantics

1

1

10

Ferruccio Guidi

×

2

Publications

48

Citations

2

H-Index

YearCitations

Page 1