Formal Specification of COTS-Based Software: A Case Study

Edward A. Addy, Murali Sitaraman. Formal Specification of COTS-Based Software: A Case Study. In SSR. pages 83-91, 1999. [doi]

Abstract

Abstract is missing.