Login / Signup
FLACOS
2012
2012
2012
Keyphrases
Publications
2012
Gordon J. Pace
,
Fernando Schapachnik
Contracts for Interacting Two-Party Systems
FLACOS
(2012)
Christian Colombo
,
Adrian Francalanza
,
Ian Grima
Simplifying Contract-Violating Traces
FLACOS
(2012)
Marina Zaharieva-Stojanovski
,
Marieke Huisman
,
Stefan Blom
A History of BlockingQueues
FLACOS
(2012)
Gregorio Díaz
,
Luis Llana
,
Valentín Valero Ruiz
,
José Antonio Mateo
Conformance Verification of Normative Specifications using C-O Diagrams
FLACOS
(2012)
volume 94, 2012
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012.
FLACOS
94 (2012)
2011
Daniel Gorín
,
Sergio Mera
,
Fernando Schapachnik
A Software Tool for Legal Drafting
FLACOS
(2011)
Seyed M. Montazeri
,
Nivir K. S. Roy
,
Gerardo Schneider
From Contracts in Structured English to CL Specifications
FLACOS
(2011)
François Hantry
,
Mohand-Said Hacid
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages
FLACOS
(2011)
Adrian Francalanza
,
Andrew Gauci
,
Gordon J. Pace
Distributed System Contract Monitoring
FLACOS
(2011)
Enrique Martínez
,
María-Emilia Cambronero
,
Gregorio Díaz
,
Gerardo Schneider
Timed Automata Semantics for Visual e-Contracts
FLACOS
(2011)
volume 68, 2011
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011.
FLACOS
68 (2011)