• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Theme Issue on Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre (Eds.), Theme Issue on Integrated Formal Methods. Software and Systems Modeling 15(4), 2016.

http://dx.doi.org/10.1007/s10270-015-0510-0

Abstract:

This theme issue of the Software and Systems Modeling journal is dedicated to the topic of Integrated Formal Methods. The theme issue grew out of an open call for high-quality submissions on Integrated Formal Methods. Some of the theme issue papers are extended, and thoroughly revised papers initially published in the proceedings of iFM 2013: the 10th International Conference on Integrated Formal Methods, Turku, Finland, June 10–14, 2013. This is one of the major conferences in Formal Methods, organized approximately every one and a half years. Out of 41 articles originally submitted to the theme issue, a total of 11 articles were accepted; of these, shorter versions of 5 articles were initially published in the iFM 2013 proceedings.

BibTeX entry:

@PERIODICAL{ejJoPe16a,
  title = {Theme Issue on Integrated Formal Methods},
  journal = {Software and Systems Modeling},
  volume = {15},
  number = {4},
  editor = {Johnsen, Einar Broch and Petre, Luigia},
  publisher = {Springer Berlin Heidelberg},
  year = {2016},
  keywords = {integrated formal methods},
  ISSN = {1619-1366},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 2

Edit publication