Home Advanced Search
Advanced Search - Page 1
Challenges of Software Verification
- English
- Year: 2023
- Author: Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
Challenges of Software Verification (Intelligent Systems Reference Library, 238)
- English
- Year: 2023
- Author: Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor)
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2022
- English
- Year: 2023
- Author: Nabendu Chaki, Nagaraju Devarakonda, Agostino Cortesi
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017
- English
- Year: 2018
- Author: Nabendu Chaki,Agostino Cortesi,Nagaraju Devarakonda (eds.)
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022
- English
- Year: 2023
- Author: Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022
- EPUB
- English
- Year: 2023
- Author: Rituparna Chaki; Agostino Cortesi; Khalid Saeed; Nabendu Chaki
Advanced Computing and Systems for Security: Volume 13
- English
- Year: 2021
- Author: Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed
Advanced Computing and Systems for Security: Volume 13
- EPUB
- English
- Year: 2021
- Author: Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed
Advanced Computing and Systems for Security: Volume Eleven
- English
- Year: 2021
- Author: Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki