Formal semantics in the age of pragmatics
Reconciling NSM and Formal Semantics
The formal semantics of an UML activity diagram
Towards a formal semantics of social influence
The formal semantics of SDL-2000: Status and perspectives
Is Semantics Formal?
Formal semantics of the unified modeling language
Research on Formal Semantics with Networks
Formal semantics
Formal Semantics