Towards certified management of financial contracts

Patrick Bahr; Jost Berthold; Martin Elsman

Towards certified management of financial contracts

Patrick Bahr, Jost Berthold, Martin Elsman

Datalogisk Institut

Originalsprog	Engelsk
Publikationsdato	2014
Antal sider	3
Status	Udgivet - 2014
Begivenhed	26th Nordic Workshop on Programming Theory - Halmstad University, Halmstad, Sverige Varighed: 29 okt. 2014 → 31 okt. 2014 Konferencens nummer: 26

Konference

Konference	26th Nordic Workshop on Programming Theory
Nummer	26
Lokation	Halmstad University
Land/Område	Sverige
By	Halmstad
Periode	29/10/2014 → 31/10/2014

Adgang til dokumentet

Bahr_2014_Towards_certified_managementAccepteret manuskript, 297 KB

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

Citationsformater

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

}