An algebraic structure for the action-based contract language CL theoretical results
Research report
View/ Open
Year
2007Permanent link
http://urn.nb.no/Is part of
Research reportMetadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4930]