1st FME workshop on formal methods in software engineering (FormaliSE 2013)

DOI 10.1109/icse.2013.6606766 dblp

Abstract

Despite their significant advantages, formal methods are not widely used in industrial software development. FormaliSE is a workshop with the main goal to promote integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is done currently, and to better understand the reasons why this still is the case.

BibTeX

@inproceedings{Gnesi-Plat:ICSE13,
  author    = {Stefania Gnesi and
               Nico Plat},
  title     = {1st {FME} workshop on formal methods in software engineering {(FormaliSE} 2013)},
  booktitle = {ICSE},
  pages     = {1519--1520},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
}

1st FME workshop on formal methods in software engineering (FormaliSE 2013)

Abstract

Related papers