Original language | English |
---|---|
Journal | Journal of Logical and Algebraic Methods in Programming |
Volume | 82 |
Issue number | 5-7 |
Pages (from-to) | 164-185 |
Number of pages | 22 |
ISSN | 2352-2208 |
DOIs | |
Publication status | Published - 2013 |
Externally published | Yes |
Event | 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software - Malaga, Spain Duration: 22 Sep 2011 → 23 Sep 2011 Conference number: 5 |
Conference
Conference | 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software |
---|---|
Number | 5 |
Country/Territory | Spain |
City | Malaga |
Period | 22/09/2011 → 23/09/2011 |