Franco Raimondi

E1825873 UNEXPLORED

Franco Raimondi is an Italian computer scientist known for his work in formal verification, model checking, and the development of tools for the analysis of complex software and autonomous systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Franco Raimondi canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Raimondi → hasNotableBearer → Franco Raimondi ⓘ