Certified symbolic management of financial multi-party contracts

Patrick Bahr, Jost Berthold, Martin Elsman

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

20 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming : ICFP 2015
Antal sider	13
Forlag	Association for Computing Machinery
Publikationsdato	2015
Sider	315-327
ISBN (Trykt)	978-1-4503-3669-7
DOI	https://doi.org/10.1145/2784731.2784747
Status	Udgivet - 2015
Begivenhed	ACM SIGPLAN International Conference on Functional Programming 2015 - Vancouver, Canada Varighed: 31 aug. 2015 → 2 sep. 2015 Konferencens nummer: 20

Konference	ACM SIGPLAN International Conference on Functional Programming 2015
Nummer	20
Land/Område	Canada
By	Vancouver
Periode	31/08/2015 → 02/09/2015

Adgang til dokumentet

Certified symbolic management of financial multi-party contracts. / Bahr, Patrick; Berthold, Jost; Elsman, Martin.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, 2015. s. 315-327.

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

Bahr, P, Berthold, J & Elsman, M 2015, Certified symbolic management of financial multi-party contracts. i Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, s. 315-327, ACM SIGPLAN International Conference on Functional Programming 2015, Vancouver, Canada, 31/08/2015. https://doi.org/10.1145/2784731.2784747

@inproceedings{dd8c0507001f4ed99d3ea00e221663ae,

title = "Certified symbolic management of financial multi-party contracts",

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

year = "2015",

doi = "10.1145/2784731.2784747",

language = "English",

isbn = "978-1-4503-3669-7",

pages = "315--327",

booktitle = "Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming",

publisher = "Association for Computing Machinery",

note = "ACM SIGPLAN International Conference on Functional Programming 2015 ; Conference date: 31-08-2015 Through 02-09-2015",

}

TY - GEN

T1 - Certified symbolic management of financial multi-party contracts

AU - Bahr, Patrick

AU - Berthold, Jost

AU - Elsman, Martin

N1 - Conference code: 20

PY - 2015

Y1 - 2015

U2 - 10.1145/2784731.2784747

DO - 10.1145/2784731.2784747

M3 - Article in proceedings

SN - 978-1-4503-3669-7

SP - 315

EP - 327

BT - Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

PB - Association for Computing Machinery

T2 - ACM SIGPLAN International Conference on Functional Programming 2015

Y2 - 31 August 2015 through 2 September 2015

ER -