Zobrazeno 1 - 2
of 2
pro vyhledávání: ''
Autor:
Lahiri, Shuvendu K., Wang, Chao
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/41295
Autor:
Lahiri, Shuvendu K., Wang, Chao
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/41296