Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27913| Title: | Proceedings of FLACOS’08 |
| Keywords: | Electronic contracts Formal languages Computer security Service-oriented architecture (Computer science) Computer programs -- Verification |
| Issue Date: | 2008 |
| Publisher: | University of Oslo. Department of Informatics |
| Citation: | Pace, G. J., & Schneider, G. (Eds.) (2008). Proceedings of FLACOS’08. Oslo: University of Oslo. Department of Informatics. |
| Abstract: | The 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08) is held in Malta. 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) and it attracted 25 participants. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27913 |
| ISBN: | 8273683370 |
| ISSN: | 08063036 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Proceedings_of_FLACOS’08_2008.pdf | 3.02 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.