International Conference on Formal Engineering Methods—ICFEM 2009

Research output: Contribution to journal › Special issue › peer-review

Original language	English
Pages (from-to)	1211
Journal	Science of Computer Programming
Volume	77
Issue number	12
DOIs	https://doi.org/10.1016/j.scico.2012.05.004
Publication status	Published - 1 Oct 2012

Special issue. Guest editor.

Access to Document

@article{1146aa77ffdd42c3b1781f8c0b2261b9,

title = "International Conference on Formal Engineering Methods—ICFEM 2009",

author = "Cavalcanti, {A. L. C.}",

note = "Special issue. Guest editor.",

year = "2012",

month = oct,

day = "1",

doi = "10.1016/j.scico.2012.05.004",

language = "English",

volume = "77",

pages = "1211",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "12",

}

TY - JOUR

T1 - International Conference on Formal Engineering Methods—ICFEM 2009

A2 - Cavalcanti, A. L. C.

N1 - Special issue. Guest editor.

PY - 2012/10/1

Y1 - 2012/10/1

UR - http://www.scopus.com/inward/record.url?scp=84864978581&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2012.05.004

DO - 10.1016/j.scico.2012.05.004

M3 - Special issue

SN - 0167-6423

VL - 77

SP - 1211

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 12

ER -