ISBN-13: 9783030636173, 978-3030636173. Due to COVID-19 pandemic the conference was held virtually. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
eBay