Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27911| Title: | FLACOS’09 Workshop proceedings |
| Keywords: | Electronic contracts Formal languages Computer programs -- Verification Computer security Contracts Computer programming |
| Issue Date: | 2009-09 |
| Publisher: | University of Oslo. Department of Informatics |
| Citation: | Pace, G. J., & Schneider, G. (Eds.) (2009). FLACOS’09 Workshop proceedings. Oslo: University of Oslo. Department of Informatics. |
| Abstract: | 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). |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27911 |
| ISBN: | 8273683451 |
| ISSN: | 08063036 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| FLACOS’09_workshop_proceedings_2009.pdf | 2.79 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.