TAILLE DU FICHIER | 5.97 MB |
ISBN | 9783642142949 |
AUTEUR | Byron Cook |
FICHIER | Computer Aided Verification.pdf |
DATE | 08/05/2020 |
Event, When, Where, Deadline. CAV 2020, Computer Aided Verification. Jun 21, 2020 - Jun 24, 2020, Los Angeles, USA, Jan 23, 2020. CAV 2019, 31st ...