On the Specification of Full Contracts.

Stephen Fenech Gordon J. Pace Joseph C. Okika Anders P. Ravn Gerardo Schneider

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

high level
neural network
formal specification
code generation
specification language
supply chain
website
three dimensional
moral hazard
modelling language
formal verification
multiresolution
multiscale
database
metadata
e learning
web pages
decision making
databases
data sets
real time