Formal Methods for V&V of Partial Specifications: An Experience RSeport.

Steve M. Easterbrook, John R. Callahan

Browse the full RE paper archive.