Martin Abadi

E1971553 UNEXPLORED

Martin Abadi is a computer scientist known for his influential work in programming languages, security, and formal methods, including foundational contributions to process calculi and cryptographic protocol analysis.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Martin Abadi canonical	1

Referenced by (1)

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

spi-calculus → introducedBy → Martin Abadi ⓘ