Digital Library[ Search Result ]
Search : "[ author: Kwang Min Lee ]" (1)
An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions
Kwang Min Lee Jung Ho Bae Heung Seok Chae
Vol. 16, No. 4, pp. 527-540, Aug. 2009
10.3745/KIPSTD.2009.16.4.527
Vol. 16, No. 4, pp. 527-540, Aug. 2009
10.3745/KIPSTD.2009.16.4.527