Title

'Composite Propositions: Toward Support for Formal Specification of System Properties,'

Document Type

Conference Proceeding

Abstract

Mondragon, O., Gates, A.Q., and S. Roach, 'Composite Propositions: Toward Support for Formal Specification of System Properties,' Proceedings 27th Annual NASA Goddard/IEEE Software Engineering Workshop, December 22, pp. 67-74.

This document is currently not available here.

Share

COinS