Formal Aspects of Computing: Guest Editorial

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone

Research output: Contribution to journal › Editorial

Access to Document

@article{22ffd0bcf7304ff9966627ff263682d9,

title = "Formal Aspects of Computing: Guest Editorial",

author = "Kamel Barkaoui and Manfred Broy and Ana Cavalcanti and Antonio Cerone",

year = "2008",

month = jul,

doi = "10.1007/s00165-008-0085-4",

language = "English",

volume = "20",

pages = "349--350",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery (ACM)",

number = "4-5",

}

TY - JOUR

T1 - Formal Aspects of Computing

T2 - Guest Editorial

AU - Barkaoui, Kamel

AU - Broy, Manfred

AU - Cavalcanti, Ana

AU - Cerone, Antonio

PY - 2008/7

Y1 - 2008/7

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

U2 - 10.1007/s00165-008-0085-4

DO - 10.1007/s00165-008-0085-4

M3 - Editorial

AN - SCOPUS:46249106281

SN - 0934-5043

VL - 20

SP - 349

EP - 350

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4-5

ER -