Theme issue on Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	933–935
Number of pages	3
Journal	Software and Systems Modeling
Volume	15
Issue number	4
DOIs	https://doi.org/10.1007/s10270-015-0510-0
Publication status	Published - 2016
MoE publication type	A1 Journal article-refereed

Access to Document

@article{169eb8b6802b4ae0bd52577338181de7,

title = "Theme issue on Integrated Formal Methods",

author = "{Broch Johnsen}, Einar and Luigia Petre",

year = "2016",

doi = "10.1007/s10270-015-0510-0",

language = "Odefinierat/ok{\"a}nt",

volume = "15",

pages = "933–935",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer",

number = "4",

}