Title

'Prospec: Support for Elicitation and Formal Specification of Software Properties,'

Document Type

Conference Proceeding

Abstract

Mondragon, O., Gates, A.Q., and S. Roach, 'Prospec: Support for Elicitation and Formal Specification of Software Properties,' Electronic Notes in Theoretical Computer Engineering, O. Sokolsky and V. Mahesh (eds.), 23.

This document is currently not available here.

Share

COinS