Toshiaki Aoki, Qin Li: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. IEEE 2020, ISBN 978-1-7281-4086-5