Software Engineering and Formal Methods. SEFM 2021 Collocated WorkshopsAntonio Cerone
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes · 2022
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2022
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- ISBN
- 9783031124280
Data source: Wikidata
More by Antonio Cerone
Information Technology and Open SourceAntonio Cerone

Information Technology and Open Source
Antonio Cerone · 2014
Theoretical Aspects of Computing – ICTAC 2011Antonio Cerone

Theoretical Aspects of Computing – ICTAC 2011
Antonio Cerone · 2011
Formal Methods for an Informal WorldAntonio Cerone
Formal Methods for an Informal World
Antonio Cerone · 2023
Theoretical Aspects of Computing - ICTAC 2021Antonio Cerone
Theoretical Aspects of Computing - ICTAC 2021
Antonio Cerone · 2021
Formal Methods - Fun for EverybodyAntonio Cerone
Formal Methods - Fun for Everybody
Antonio Cerone · 2021
Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsAntonio Cerone

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
Antonio Cerone · 2018
Information Technology and Open Source : Applications for Education, Innovation, and SustainabilityAntonio Cerone
Information Technology and Open Source : Applications for Education, Innovation, and Sustainability
Antonio Cerone · 2014