Special section on software engineering and formal methods: Extended versions of contributions presented at SEFM 2008

Antonio Cerone; Stefan Gruner

doi:10.1007/s10270-010-0169-5

Special section on software engineering and formal methods: Extended versions of contributions presented at SEFM 2008

Antonio Cerone
, Stefan Gruner

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	143-145
Number of pages	3
Journal	Software and Systems Modeling
Volume	10
Issue number	2
DOIs	https://doi.org/10.1007/s10270-010-0169-5
Publication status	Published - May 2011
Externally published	Yes

ASJC Scopus subject areas

Software
Modelling and Simulation

Access to Document

10.1007/s10270-010-0169-5

Cite this

@article{83ca464e7c4243ac80ade0b840c9bcd2,

title = "Special section on software engineering and formal methods: Extended versions of contributions presented at SEFM 2008",

author = "Antonio Cerone and Stefan Gruner",

year = "2011",

month = may,

doi = "10.1007/s10270-010-0169-5",

language = "English",

volume = "10",

pages = "143--145",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer Verlag",

number = "2",

}

TY - JOUR

T1 - Special section on software engineering and formal methods

T2 - Extended versions of contributions presented at SEFM 2008

AU - Cerone, Antonio

AU - Gruner, Stefan

PY - 2011/5

Y1 - 2011/5

UR - https://www.scopus.com/pages/publications/79955484828

UR - https://www.scopus.com/pages/publications/79955484828#tab=citedBy

U2 - 10.1007/s10270-010-0169-5

DO - 10.1007/s10270-010-0169-5

M3 - Editorial

AN - SCOPUS:79955484828

SN - 1619-1366

VL - 10

SP - 143

EP - 145

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 2

ER -

Special section on software engineering and formal methods: Extended versions of contributions presented at SEFM 2008

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this