Skene, J;
Emmerich, W;
(2004)
Generating a contract checker for an SLA language.
In:
Proceedings of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California.
IEEE Computer Society Press