Formal Semantics in the Age of Pragmatics
Formal semantics
A Formal Semantics for Iconic Spatial Gestures
Formal Semantics
Is Semantics Formal?
A Formal Executable Semantics of PROMELA