default search action
6th FLACOS 2012: Bertinoro, Italy
- Gordon J. Pace, Anders P. Ravn:
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. EPTCS 94, 2012 - Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo:
Conformance Verification of Normative Specifications using C-O Diagrams. 1-10 - Christian Colombo, Adrian Francalanza, Ian Grima:
Simplifying Contract-Violating Traces. 11-20 - Gordon J. Pace, Fernando Schapachnik:
Contracts for Interacting Two-Party Systems. 21-30 - Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom:
A History of BlockingQueues. 31-35
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.