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

Implementing Specification Freedoms.

Philip E. LondonMartin S. Feather
Published in: Sci. Comput. Program. (1982)
Keyphrases
  • efficient implementation
  • high level
  • database
  • specification language
  • ims learning design
  • databases
  • artificial intelligence
  • website
  • expert systems
  • formal verification
  • provably correct