An Empirical Study on a Specification-Based Program Review Approach.

Fumiko Nagoya, Yuting Chen, Shaoying Liu

Browse the full DEPCoS paper archive.