Agostino Cortesi

Books by Agostino Cortesi

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro

Applied Computing for Software and Smart Systems: Proceedings of ACSS 2023

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2021

Nabendu Chaki, Nagaraju Devarakonda, Agostino Cortesi, Hari Seetha