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

Gordon Pace (Redaktør), Anders Peter Ravn (Redaktør)

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronic Notes in Theoretical Computer Science
Vol/bind	94
ISSN	1571-0661
DOI	https://doi.org/10.4204/EPTCS.94
Status	Udgivet - 8 sep. 2012

Adgang til dokumentet

@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 -