Towards certified management of financial contracts
Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt
| 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 | Sverige |
| By | Halmstad |
| Periode | 29/10/2014 → 31/10/2014 |
Links
- http://hiperfit.dk/pdf/NWPT14Contracts.pdf
Accepteret manuskript
ID: 129667652