Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/45466
Title: | Guest editors’ foreword |
Authors: | Pace, Gordon J. Schneider, Gerardo |
Keywords: | Editorials Computer science -- Congresses Computer science -- Contracts |
Issue Date: | 2011 |
Publisher: | Elsevier |
Citation: | Pace, G. J., & Schneider, G. (2011). Guest editors’ foreword [Editorial]. Journal of Logic and Algebraic Programming, 80 (3-5), 137-138. |
Abstract: | The series of workshops FLACOS have been initiated in 2007 as part of (and partially supported by) the Nordunet3 2 project COSoDIS3 (“Contract-Oriented Software Development for Internet Services”.). The aim of the FLACOS series of workshops has always been to bring together researchers and practitioners working on formal approaches to deal with the different facets of contracts, from synthesis, transformation and refinement to the negotiation, analysis and monitoring of contracts. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/45466 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Guest_editors_foreword_2011.pdf | 173.77 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.