Computer Aided Verification
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Silva, Alexandra; Leino, K. Rustan M.
Springer Nature Switzerland AG
07/2021
922
Mole
Inglês
9783030816841
15 a 20 dias
1425