EPTCS 94 - FLACOS 2012
Gordon J. Pace, Anders P. Ravn (Eds.): Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software. 2012 EPTCS 94 [ contents ]- Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo: Conformance Verification of Normative Specifications using C-O Diagrams. ... 1-10
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team