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

Original language	English

Place of Publication	University of Copenhagen Institute of Computer Science
Publisher	N/A
Number of pages	38
Publication status	Published - 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 -