Mikio Ohki, Shinjiro Akiyama, Yasushi Kambayashi. A verification of class structure evolution model and its parameters. In Mikio Aoyama, Katsuro Inoue, Václav Rajlich, editors, Proceedings of the International Workshop on Principles of Software Evolution, IWPSE '02, Orlando, Florida, USA, May 19-20, 2002. pages 52-56, ACM, 2002. [doi]
Abstract is missing.