Compositional Specification of Commercial Contracts (Technical. report)

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

Abstract

Formelle metoder, kommercielle kontrakter, programmeringssprog

Originalsprog	Engelsk

Udgivelsessted	University of Copenhagen Institute of Computer Science
Forlag	N/A
Antal sider	38
Status	Udgivet - 2004

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

}

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 -