Login / Signup

Compound monads in specification languages.

Jeremy E. Dawson
Published in: PLPV (2007)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • first order logic
  • model checking
  • cooperative
  • probabilistic model
  • fuzzy logic
  • software development