Standard
Compositional Specification of Commercial Contracts. / Henglein, Fritz; Stefansen, Christian Oskar Erik; Simonsen, Jakob Grue; Andersen, Jesper; Elsborg, Ebbe.
publisher. University of Cyprus, 2004. p. 8.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henglein, F, Stefansen, COE, Simonsen, JG, Andersen, J & Elsborg, E 2004, Compositional Specification of Commercial Contracts. in publisher. University of Cyprus, pp. 8, Compositional Specification of Commercial Contracts, 29/11/2010.
APA
Henglein, F., Stefansen, C. O. E., Simonsen, J. G., Andersen, J., & Elsborg, E. (2004). Compositional Specification of Commercial Contracts. In publisher (pp. 8). University of Cyprus.
Vancouver
Henglein F, Stefansen COE, Simonsen JG, Andersen J, Elsborg E. Compositional Specification of Commercial Contracts. In publisher. University of Cyprus. 2004. p. 8
Author
Henglein, Fritz ; Stefansen, Christian Oskar Erik ; Simonsen, Jakob Grue ; Andersen, Jesper ; Elsborg, Ebbe. / Compositional Specification of Commercial Contracts. publisher. University of Cyprus, 2004. pp. 8
Bibtex
@inproceedings{44bbe7c0c3d111debda0000ea68e967b,
title = "Compositional Specification of Commercial Contracts",
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",
isbn = "N/A",
pages = "8",
booktitle = "publisher",
publisher = "University of Cyprus",
note = "Compositional Specification of Commercial Contracts ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Compositional Specification of Commercial Contracts
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 - Article in proceedings
SN - N/A
SP - 8
BT - publisher
PB - University of Cyprus
T2 - Compositional Specification of Commercial Contracts
Y2 - 29 November 2010
ER -
