Login / Signup

A Study of Collaborative Work: Answers to a Test on Formal Specification in B.

Henri HabriasPascal PoizatJean-Yves Lafaye
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • formal specification
  • databases
  • data quality
  • formal methods
  • multiple choice
  • data abstraction
  • object oriented design
  • specification languages