Martín Abadi

E1984124 UNEXPLORED

Martín Abadi is a computer scientist known for his influential work in programming languages, security, and formal methods.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
Martín Abadi canonical 1

Referenced by (1)

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

A Theory of Objects → author → Martín Abadi ⓘ