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

Ann C. Gates, University of Texas at El Paso

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.