Sign in

Symbolic Computation in Maude: Some Tapas.

José Meseguer
Published in: LOPSTR (2020)
Keyphrases
  • formal specification
  • imperative programs
  • equational theories
  • automated deduction
  • building blocks
  • information systems
  • domain knowledge
  • software engineering
  • model checking
  • integrity constraints
  • dynamic logic