default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in Software Engineering (FormaliSE)
12th FormaliSE@ICSE 2024: Lisbon, Portugal
- Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024 [contents]
11th FormaliSE@ICSE 2023: Melbourne, Australia
- 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. IEEE 2023, ISBN 979-8-3503-1263-8 [contents]
10th FormaliSE@ICSE 2022: Pittsburgh, PA, USA
- Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. ACM 2022, ISBN 978-1-4503-9287-7 [contents]
9th FormaliSE@ICSE 2021: Madrid, Spain
- Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 [contents]
8th FormaliSE@ICSE 2020: Seoul, Korea
- Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4 [contents]
7th FormaliSE@ICSE 2019: Montreal, QC, Canada
- Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi:
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-3373-7 [contents]
6th FormaliSE@ICSE 2018: Gothenburg, Sweden
- Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione:
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents]
5th FormaliSE@ICSE 2017: Buenos Aires, Argentina
- 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. IEEE 2017, ISBN 978-1-5386-0422-9 [contents]
4th FormaliSE@ICSE 2016: Austin, Texas, USA
- Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016. ACM 2016, ISBN 978-1-4503-4159-2 [contents]
3rd FormaliSE@ICSE 2015: Florence, Italy
- Stefania Gnesi, Nico Plat:
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7043-1 [contents]
2nd FormaliSE@ICSE 2014: Hyderabad, India
- Stefania Gnesi, Nico Plat:
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. ACM 2014, ISBN 978-1-4503-2853-1 [contents]
1st FormaliSE@ICSE 2013: San Francisco, CA, USA
- 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6292-4 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
