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 p.
Research output: Book/Report › Report › Communication
Harvard
Henglein, F, Stefansen, COE, Simonsen, JG, Andersen, J & Elsborg, E 2004, Compositional Specification of Commercial Contracts (Technical. report). N/A, University of Copenhagen Institute of Computer Science.
APA
Henglein, F., Stefansen, C. O. E., Simonsen, J. G., Andersen, J., & Elsborg, E. (2004). Compositional Specification of Commercial Contracts (Technical. report). N/A.
Vancouver
Henglein F, Stefansen COE, Simonsen JG, Andersen J, Elsborg E. Compositional Specification of Commercial Contracts (Technical. report). University of Copenhagen Institute of Computer Science: N/A, 2004. 38 p.
Author
Henglein, Fritz ; Stefansen, Christian Oskar Erik ; Simonsen, Jakob Grue ; Andersen, Jesper ; Elsborg, Ebbe. / Compositional Specification of Commercial Contracts (Technical. report). University of Copenhagen Institute of Computer Science : N/A, 2004. 38 p.
Bibtex
@book{3a48c7c074c111dbbee902004c4f4f50,
title = "Compositional Specification of Commercial Contracts (Technical. report)",
abstract = "Formelle metoder, kommercielle kontrakter, programmeringssprog",
author = "Fritz Henglein and Stefansen, {Christian Oskar Erik} and Simonsen, {Jakob Grue} and Jesper Andersen and Ebbe Elsborg",
year = "2004",
language = "English",
publisher = "N/A",
}
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 -
