Sign in
Engineering UToPiA - Formal Semantics for CML.
Jim Woodcock
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