Antonio Cerone

الكتب
From Data to Models and Back From Data to Models and Back
From Data to Models and Back
٢٠٢٥
Formal Methods for an Informal World Formal Methods for an Informal World
Formal Methods for an Informal World
٢٠٢٣
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
٢٠٢٢
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
٢٠٢٢
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
٢٠٢١
Formal Methods – Fun for Everybody Formal Methods – Fun for Everybody
Formal Methods – Fun for Everybody
٢٠٢١