Challenges of Software Verification
by Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro Hardcover 2023
- Author: Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
- ISBN 13: 9789811996009
- ISBN 10: 9811996008
- Publication Year: 2023
- Language: English
Specifications
Index-109811996008
LanguageEnglish
Index-139789811996009
Period-
Class Track-
Publisher- (2023)
Pages-