- ECU Libraries Catalog

Start Over

You searched for: author_facet Cerone, Antonio

Showing 1 - 10 of 11 results

Search Results

Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

by Broccia, Giovanna
2025
1st ed. 2025
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

by Cerone, Antonio
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Software Engineering Languages, Methods, Application Domains

Formal Methods for Software Engineering Languages, Methods, Application Domains

by Roggenbach, Markus
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

by Cerone, Antonio
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

by Cerone, Antonio
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

by Cerone, Antonio
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops

by Cerone, Antonio
2018
Format: Electronic

Location
Access Content Online

Cover image for Information technology and open source

Information technology and open source

by International Conference on Software Engineering and Formal Methods
2014
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computing - ICTAC 2011

Theoretical aspects of computing - ICTAC 2011

by ICTAC (Colloquium)
2011
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computing

Theoretical aspects of computing

by ICTAC 2006
2006
Format: Electronic

Location
Access Content Online