Towards certified management of financial contracts

Patrick Bahr; Jost Berthold; Martin Elsman

Towards certified management of financial contracts

Patrick Bahr, Jost Berthold, Martin Elsman

Department of Computer Science

Original language	English
Publication date	2014
Number of pages	3
Publication status	Published - 2014
Event	26th Nordic Workshop on Programming Theory - Halmstad University, Halmstad, Sweden Duration: 29 Oct 2014 → 31 Oct 2014 Conference number: 26

Conference

Conference	26th Nordic Workshop on Programming Theory
Number	26
Location	Halmstad University
Country/Territory	Sweden
City	Halmstad
Period	29/10/2014 → 31/10/2014

Access to Document

Bahr_2014_Towards_certified_managementAccepted author manuscript, 297 KB

http://hiperfit.dk/pdf/NWPT14Contracts.pdf

Cite this

@conference{3f4a7bccc29c4e1d96436355fb5edca9,

title = "Towards certified management of financial contracts",

author = "Patrick Bahr and Jost Berthold and Martin Elsman",

note = "Presented at the 26th Nordic Workshop on Programming Theory (NWPT{\textquoteright}14).; 26th Nordic Workshop on Programming Theory, NWPT '14 ; Conference date: 29-10-2014 Through 31-10-2014",

year = "2014",

language = "English",

}