Login / Signup

An axiomatic approach to semantics of specification languages.

Johann A. MakowskyBernd Mahr
Published in: Theoretical Computer Science (1983)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • first order logic
  • specification language
  • data sets