Originalsprog | Engelsk |
---|---|
Tidsskrift | Journal of Logical and Algebraic Methods in Programming |
Vol/bind | 82 |
Udgave nummer | 5-7 |
Sider (fra-til) | 164-185 |
Antal sider | 22 |
ISSN | 2352-2208 |
DOI | |
Status | Udgivet - 2013 |
Udgivet eksternt | Ja |
Begivenhed | 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software - Malaga, Spanien Varighed: 22 sep. 2011 → 23 sep. 2011 Konferencens nummer: 5 |
Konference
Konference | 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software |
---|---|
Nummer | 5 |
Land/Område | Spanien |
By | Malaga |
Periode | 22/09/2011 → 23/09/2011 |