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
Conference | 26th Nordic Workshop on Programming Theory |
---|---|
Number | 26 |
Location | Halmstad University |
Country | Sweden |
City | Halmstad |
Period | 29/10/2014 → 31/10/2014 |
Bibliographical note
Presented at the 26th Nordic Workshop on Programming Theory (NWPT’14).
Links
- http://hiperfit.dk/pdf/NWPT14Contracts.pdf
Accepted author manuscript
ID: 129667652