Compositional Specification of Commercial Contracts

Fritz Henglein, Christian Oskar Erik Stefansen, Jakob Grue Simonsen, Jesper Andersen, Ebbe Elsborg

Abstract

Formelle metoder, kommercielle kontrakter, programmeringssprog

Original language	English
Title of host publication	publisher
Publisher	University of Cyprus
Publication date	2004
Pages	8
ISBN (Print)	N/A
Publication status	Published - 2004
Event	Compositional Specification of Commercial Contracts - Duration: 29 Nov 2010 → …

Conference	Compositional Specification of Commercial Contracts
Period	29/11/2010 → …

@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",

}

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 -