Steve M. Easterbrook, John R. Callahan. Formal Methods for V&V of Partial Specifications: An Experience RSeport. In 3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA. pages 160-168, IEEE Computer Society, 1997. [doi]
Abstract is missing.