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

Integrated Formal Methods

Michael Butler, Einar Broch Johnsen, Luigia Petre (Eds.), Integrated Formal Methods. Formal Aspects of Computing 27(4), 2015.

http://dx.doi.org/10.1007%2Fs00165-015-0338-y

Abstract:

This is the edited Formal Aspects of Computing Special Issue on Integrated Formal Methods. It is made up of selected and thoroughly reviewed papers from the iFM 2013 conference, held in Turku in June 2013.

BibTeX entry:

@PERIODICAL{ejBuJoPe15a,
  title = {Integrated Formal Methods},
  journal = {Formal Aspects of Computing},
  volume = {27},
  number = {4},
  editor = {Butler, Michael and Johnsen, Einar Broch and Petre, Luigia},
  publisher = {Springer},
  year = {2015},
}

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

Publication Forum rating of this publication: level 2

Edit publication