Compositional Specification of Commercial Contracts (Technical. report)
Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
Standard
Compositional Specification of Commercial Contracts (Technical. report). / Henglein, Fritz; Stefansen, Christian Oskar Erik; Simonsen, Jakob Grue; Andersen, Jesper; Elsborg, Ebbe.
University of Copenhagen Institute of Computer Science : N/A, 2004. 38 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - RPRT
T1 - Compositional Specification of Commercial Contracts (Technical. report)
AU - Henglein, Fritz
AU - Stefansen, Christian Oskar Erik
AU - Simonsen, Jakob Grue
AU - Andersen, Jesper
AU - Elsborg, Ebbe
PY - 2004
Y1 - 2004
N2 - Formelle metoder, kommercielle kontrakter, programmeringssprog
AB - Formelle metoder, kommercielle kontrakter, programmeringssprog
M3 - Report
BT - Compositional Specification of Commercial Contracts (Technical. report)
PB - N/A
CY - University of Copenhagen Institute of Computer Science
ER -
ID: 56587