Theme issue on Integrated Formal Methods

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Einar Broch Johnsen, Luigia Petre
Publisher: SPRINGER HEIDELBERG
Publication year: 2016
Journal: Software and Systems Modeling
Journal acronym: SOFTW SYST MODEL
Volume number: 15
Issue number: 4
Start page: 933
End page: 935
Number of pages: 3
ISSN: 1619-1366

Last updated on 2019-22-08 at 05:04