Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, M√°laga, Spain, 22nd and 23rd September 2011.
(xsd:string)
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, M√°laga, Spain, 22nd and 23rd September 2011.
(xsd:string)