Computer aided verification: 37th international conference, cav 2025, zagreb, croatia, july 23-25, 2025, proceedings, part iii
Éditeur :
Springer International Publishing AG
ISBN :
9783031986819
Date de publication :
23 juil. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse