Login / Signup

Formal Methods: Promises And Problems.

LuqiJoseph A. Goguen
Published in: IEEE Softw. (1997)
Keyphrases
  • formal methods
  • optimization problems
  • knowledge base
  • user interface
  • software engineering
  • model checking
  • modeling language