Chenghao Cai, Jing Sun 0002, Gillian Dobbie. Measuring the Quality of B Abstract Machines with ISO/IEC 25010. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 169-176, IEEE, 2020. [doi]
Abstract is missing.