Standard
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. p. 315-327.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Bahr, P, Berthold, J
& Elsman, M 2015,
Certified symbolic management of financial multi-party contracts. in
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, pp. 315-327, ACM SIGPLAN International Conference on Functional Programming 2015, Vancouver, Canada,
31/08/2015.
https://doi.org/10.1145/2784731.2784747
APA
Bahr, P., Berthold, J.
, & Elsman, M. (2015).
Certified symbolic management of financial multi-party contracts. In
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015 (pp. 315-327). Association for Computing Machinery.
https://doi.org/10.1145/2784731.2784747
Vancouver
Bahr P, Berthold J
, Elsman M.
Certified symbolic management of financial multi-party contracts. In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery. 2015. p. 315-327
https://doi.org/10.1145/2784731.2784747
Author
Bahr, Patrick ; Berthold, Jost ; Elsman, Martin. / Certified symbolic management of financial multi-party contracts. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, 2015. pp. 315-327
Bibtex
@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 = "null ; Conference date: 31-08-2015 Through 02-09-2015",
}
RIS
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
Y2 - 31 August 2015 through 2 September 2015
ER -