Do Hyoung Kim, Kiwon Chong. A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. In 3rd Asia-Pacific Software Engineering Conference (APSEC 96), December 4-7, 1996, Seoul, South Korea. pages 208-216, IEEE Computer Society, 1996. [doi]
Abstract is missing.