Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Livre Ecrit par: Wies, Thomas ; Finkbeiner, Bernd ; Publié en: 2022
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783030945831
Thème
Informatique
Mots clés:
architecting
architecture verification and validation
Artificial intelligence
computer hardware
Computer networks
computer programming
formal logic
Internet
