Tran, Hoang-Viet and Hung, Pham Ngoc and Nguyen, Viet-Ha and Aoki, Toshiaki (2020) A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program., 193 . p. 102439.