Compositional specification of commercial contracts

Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

Udgivelsesdato: 21. Oktober
OriginalsprogEngelsk
TidsskriftInternational Journal on Software Tools for Technology Transfer
Sider (fra-til)485 - 516
Antal sider31
ISSN1433-2779
DOI
StatusUdgivet - 2006

ID: 913843