External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018

Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione, editors, Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM, 2018. [doi]

Conference: ICSE2018

Editors

Stefania Gnesi

This author has not been identified. Look up 'Stefania Gnesi' in Google

Nico Plat

This author has not been identified. Look up 'Nico Plat' in Google

Paola Spoletini

This author has not been identified. Look up 'Paola Spoletini' in Google

Patrizio Pelliccione

This author has not been identified. It may be one of the following persons: Look up 'Patrizio Pelliccione' in Google
runs on