Compositional Specification of Commercial Contracts (Technical. report)
Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
Formelle metoder, kommercielle kontrakter, programmeringssprog
| Originalsprog | Engelsk |
|---|
| Udgivelsessted | University of Copenhagen Institute of Computer Science |
|---|---|
| Forlag | N/A |
| Antal sider | 38 |
| Status | Udgivet - 2004 |
ID: 56587