Login / Signup

Compositional specification of commercial contracts.

Jesper AndersenEbbe ElsborgFritz HengleinJakob Grue SimonsenChristian Stefansen
Published in: Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
  • supply chain
  • data mining
  • formal specification
  • information retrieval
  • artificial intelligence
  • information systems
  • e learning
  • high level
  • user defined
  • formal methods
  • specification language