M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
D. Kung, J. Gao, P. Hsia, F. Wen, Y. Toyoshima, and C. Chen. Proceedings of the International Conference on Software Maintenance, page 202-211. (September 1994)British Columbia, Canada.
D. Kung, J. Gao, P. Hsia, F. Wen, Y. Toyoshima, and C. Chen. Proceedings of the International Conference on Software Maintenance (ICSM), page 202-211. (September 1994)British Columbia, Canada.