A Formal Analysis of a Business Contract Language.

Guido Governatori Zoran Milosevic

Published in: Int. J. Cooperative Inf. Syst. (2006)

Keyphrases

formal analysis
information systems
formal methods
programming language
electronic commerce
language learning
agent model
decision making
business models
business processes
business process
data mining
knowledge management
natural language
database systems
artificial intelligence
databases
venture capital