Compositional Specification of Commercial Contracts (Technical. report)
Research output: Book/Report › Report › Communication
Formelle metoder, kommercielle kontrakter, programmeringssprog
| Original language | English |
|---|
| Place of Publication | University of Copenhagen Institute of Computer Science |
|---|---|
| Publisher | N/A |
| Number of pages | 38 |
| Publication status | Published - 2004 |
ID: 56587