An Investigation of the Approach to Specification-Based Program Review through Case Studies.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Browse the full ICECCS paper archive.