Compositional Specification of Commercial Contracts

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

Abstract

Formelle metoder, kommercielle kontrakter, programmeringssprog

Originalsprog	Engelsk
Titel	publisher
Forlag	University of Cyprus
Publikationsdato	2004
Sider	8
ISBN (Trykt)	N/A
Status	Udgivet - 2004
Begivenhed	Compositional Specification of Commercial Contracts - Varighed: 29 nov. 2010 → …

Konference	Compositional Specification of Commercial Contracts
Periode	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 -