Login / Signup

Expressive program verification via structured specifications.

Cristian GherghinaCristina DavidShengchao QinWei-Ngan Chin
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • real world
  • high level
  • information systems
  • data sets
  • computer vision
  • website
  • digital libraries
  • expert systems
  • relational databases
  • formal specification
  • delay insensitive