'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 paper has been withdrawn.