Engineering UToPiA - Formal Semantics for CML.

Published in: FM (2014)

Keyphrases

formal semantics
modeling language
formal language
modelling language
software engineering
first order logic
operational semantics
er model
logical reasoning
speech acts
theorem prover
logical language
object oriented