Challenges of Software Verification

Full text!
Type:
e-book
Titel:
Challenges of Software Verification
Auteur:
Arceri, Vincenzo.; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina
Taal:
Engels
Uitgever:
Singapore Springer 2023
ISBN:
981-19-9600-8
981-19-9601-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:27857093600041