Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part II
scientific article; zbMATH DE number 7290434