2009 International Conference on Software Testing Verification and Validation Journal

Overview

publication venue for

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation 2009