Login / Signup

Proving Properties for Behavioural Specifications with Term Observation.

Narjes Berregeb
Published in: J. Univers. Comput. Sci. (2006)
Keyphrases
  • structural properties
  • databases
  • data mining
  • search engine
  • high level