Standard
Compositional Specification of Commercial Contracts. / Henglein, Fritz; Stefansen, Christian Oskar Erik; Simonsen, Jakob Grue; Andersen, Jesper; Elsborg, Ebbe.
publisher. University of Cyprus, 2004. s. 8.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Henglein, F, Stefansen, COE, Simonsen, JG, Andersen, J & Elsborg, E 2004, Compositional Specification of Commercial Contracts. i publisher. University of Cyprus, s. 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. I publisher (s. 8). University of Cyprus.
Vancouver
Henglein F, Stefansen COE, Simonsen JG, Andersen J, Elsborg E. Compositional Specification of Commercial Contracts. I publisher. University of Cyprus. 2004. s. 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. s. 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 -
