Towards certified management of financial contracts

Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

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	26th Nordic Workshop on Programming Theory
Number	26
Location	Halmstad University
Country	Sweden
City	Halmstad
Period	29/10/2014 → 31/10/2014

Presented at the 26th Nordic Workshop on Programming Theory (NWPT’14).

Department of Computer Science