Wanling Xie, Huibiao Zhu, Shengchao Qin. An Axiomatic Approach to BigrTiMo. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 41-48, IEEE, 2020. [doi]
Abstract is missing.