Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong. Developing a Formal Design Analysis Framework. In Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1. pages 68-73, CSREA Press, 2003.
Abstract is missing.