Challenges of Software Verification Dublin Core Títol Challenges of Software Verification Autor Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro Matèria Engineering Physical Sciences and Engineering Editor Springer Nature Data de publicació 2023 Identificador 9789811996016 Font https://doi.org/10.1007/978-981-19-9601-6 Etiquetes Engineering, Physical Sciences and Engineering Col·lecció Physical Sciences and Engineering ← ítem anterior Ítem següent →
