CAV 2021 | 33rd International Conference on Computer-Aided ...
文章推薦指數： 80 %
CAV2021isthe33rdinaseriesdedicatedtotheadvancementofthetheoryandpracticeofcomputer-aidedformalanalysismethodsforhardwareandsoftwaresystems.TheconferencewilltakeplaceJuly18-23,2021inLosAngeles,California,USA. Theconferencecoversthespectrumfromtheoreticalresultstoconcreteapplicat
