Login / Signup
Compositional Specification of Commercial Contracts.
Jesper Andersen
Ebbe Elsborg
Fritz Henglein
Jakob Grue Simonsen
Christian Stefansen
Published in:
ISoLA (Preliminary proceedings) (2004)
Keyphrases
</>
high level
supply chain
data sets
specification language
formal specification
real time
image processing
relational databases
software engineering
operational semantics