Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Fitzgerald J. S., Heitmeyer C. L., Philippou A., (eds.) .. FM 2016. In: Formal Methods. 21st International Symposium. Editorial, pp. V - VI. Springer, 2016.
The 2016 symposium received 162 submissions to the main track - the largest number of contributions to a regular symposium in the FM series to date. Review of each submission by at least three Program Committee members followed by a dis- cussion phase led to the selection of 43 papers - an acceptance rate of 0.265. These proceedings also contain six papers selected by the Program Committee of the Industry Track chaired by Georgia Kapitsaki (University of Cyprus), Tiziana Margaria (University of Limerick and Lero, Ireland), and Marcel Verhoef (European Space Agency, The Netherlands).
URL: http://link.springer.com/book/10.1007%2F978-3-319-48989-6
DOI: http://dx.doi.org/10.1007/978-3-319-48989-6
Subject Formal Methods
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional