Fumiko Nagoya, Yuting Chen, Shaoying Liu. An Empirical Study on a Specification-Based Program Review Approach. In 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland. pages 199-206, IEEE Computer Society, 2006. [doi]
Abstract is missing.