Please use this identifier to cite or link to this item:
Title: FLACOS’09 Workshop proceedings
Authors: Pace, Gordon J.
Schneider, Gerardo
Keywords: Electronic contracts
Formal languages
Computer programs -- Verification
Computer security
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).
ISBN: 8273683451
ISSN: 08063036
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
FLACOS’09_workshop_proceedings_2009.pdf2.79 MBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.