Compositional Contract Specification for REA

Fritz Henglein; Ken Friis Larsen; Jakob Grue Simonsen; Christian Oskar Erik Stefansen

Compositional Contract Specification for REA

Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Oskar Erik Stefansen

Abstract

Invited contribution

Originalsprog	Engelsk
Titel	NWPT '07/FLACOS' 07 : workshop proceedings, October 9-12, 2007.Oslo, Norway
Redaktører	Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
Forlag	Universitetet i Oslo
Publikationsdato	2007
Sider	130-132
ISBN (Trykt)	8273683249
Status	Udgivet - 2007
Begivenhed	Workshop on Formal Languages and Analysis of Contract-Oriented Software - Oslo, Norge Varighed: 9 okt. 2007 → 10 okt. 2007 Konferencens nummer: 1

Konference

Konference	Workshop on Formal Languages and Analysis of Contract-Oriented Software
Nummer	1
Land/Område	Norge
By	Oslo
Periode	09/10/2007 → 10/10/2007

Navn	Research report. Universitetet i Oslo. Institutt for informatikk
Nummer	366
ISSN	0806-3036

Citationsformater

Compositional Contract Specification for REA. / Henglein, Fritz ; Larsen, Ken Friis ; Simonsen, Jakob Grue et al.

NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. red. / Einar Broch Johnsen; Olaf Owe; Gerardo Schneider. Universitetet i Oslo, 2007. s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Henglein, F , Larsen, KF , Simonsen, JG & Stefansen, COE 2007, Compositional Contract Specification for REA. i EB Johnsen, O Owe & G Schneider (red), NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Universitetet i Oslo, Research report. Universitetet i Oslo. Institutt for informatikk, nr. 366, s. 130-132, Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oslo, Norge, 09/10/2007.

@inproceedings{89c0494004a811ddbee902004c4f4f50,

title = "Compositional Contract Specification for REA",

abstract = "Invited contribution",

author = "Fritz Henglein and Larsen, {Ken Friis} and Simonsen, {Jakob Grue} and Stefansen, {Christian Oskar Erik}",

year = "2007",

language = "English",

isbn = "8273683249",

series = "Research report. Universitetet i Oslo. Institutt for informatikk",

publisher = "Universitetet i Oslo",

number = "366",

pages = "130--132",

editor = "Johnsen, {Einar Broch} and Olaf Owe and Gerardo Schneider",

booktitle = "NWPT '07/FLACOS' 07",

note = "Workshop on Formal Languages and Analysis of Contract-Oriented Software ; Conference date: 09-10-2007 Through 10-10-2007",

}

TY - GEN

T1 - Compositional Contract Specification for REA

AU - Henglein, Fritz

AU - Larsen, Ken Friis

AU - Simonsen, Jakob Grue

AU - Stefansen, Christian Oskar Erik

N1 - Conference code: 1

PY - 2007

Y1 - 2007

N2 - Invited contribution

AB - Invited contribution

M3 - Article in proceedings

SN - 8273683249

T3 - Research report. Universitetet i Oslo. Institutt for informatikk

SP - 130

EP - 132

BT - NWPT '07/FLACOS' 07

A2 - Johnsen, Einar Broch

A2 - Owe, Olaf

A2 - Schneider, Gerardo

PB - Universitetet i Oslo

T2 - Workshop on Formal Languages and Analysis of Contract-Oriented Software

Y2 - 9 October 2007 through 10 October 2007

ER -