Login / Signup

Integrated Structured Analysis and Formal Specification Techniques.

Lesley SemmensRobert B. FranceThomas W. G. Docker
Published in: Comput. J. (1992)
Keyphrases
  • formal specification
  • formal methods
  • databases
  • real world
  • multi agent
  • building blocks
  • model checking
  • reverse engineering