• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The PSL/Sugar Specification Language A Language for all Seasons.

Daniel Geist
Published in: CHARME (2003)
Keyphrases
  • specification language
  • programming language
  • formal specification
  • description language
  • symbolic execution
  • software environment
  • database
  • general purpose
  • english text
  • fine grained