FLACOS’09 Workshop proceedings
Gordon J. Pace, Gerardo Schneider · OAR@UM (University of Malta) · 2009
The 3rd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’09) is held in Toledo, Spain. The aim of the workshop is to bring together researchers and practitioners working on language-based solutions to contract-oriented software development. The workshop is partially funded by the Nordunet3 project “COSoDIS” (Contract-Oriented Software Development for Internet Services).