Muan Yong Ng, and M. Butler. Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on, page 138 -- 147. (September 2003)
Muan Yong Ng, and M. Butler. Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on, page 138 -- 147. (September 2003)