Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Gordon Pace (Editor), Anders Peter Ravn (Editor)

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	94
ISSN	1571-0661
DOIs	https://doi.org/10.4204/EPTCS.94
Publication status	Published - 8 Sept 2012

Access to Document

@article{0b6a441888fb4b0bb250eebce69fa5d9,

title = "Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software",

author = "Gordon Pace and Ravn, {Anders Peter}",

year = "2012",

month = sep,

day = "8",

doi = "10.4204/EPTCS.94",

language = "English",

volume = "94",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software

A2 - Pace, Gordon

A2 - Ravn, Anders Peter

PY - 2012/9/8

Y1 - 2012/9/8

U2 - 10.4204/EPTCS.94

DO - 10.4204/EPTCS.94

M3 - Journal article

SN - 1571-0661

VL - 94

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -