M. Firore is an author at University of Cambridge specializing in formal verification, formal semantics, and linguistics.
Top concepts
SyntaxLanguageSemanticsEngineeringLinguisticsFormal MethodsFormal SemanticsAutomated ReasoningFormal Verification
Publications per year
2002–2002
1
1
Semantics of name and value passing
M. Firore, Daniele Turi · 2002 · 118 citations
Rows per page
1–1 of 1