Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Antonio Cerone
Paperback
Not Available
Theoretical Aspects of Computing – ICTAC 2021
Formal Methods – Fun for Everybody