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