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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.