Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II
Alexandra Silva, K. Rustan M. LeinoVolume:
Part II
Année:
2021
Editeur::
Springer
Langue:
english
ISBN 10:
3030816877
ISBN 13:
9783030816872
Collection:
Lecture Notes in Computer Science, 12760
Fichier:
PDF, 28.97 MB
IPFS:
,
english, 2021
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit