Formal methods versus software engineering: Is there a conflict

• Authors:

• William D. Young

• Affiliations:

• Computational Logic, Inc., 1717 West Sixth Street, Suite 290, Austin, TX

• Venue:
• TAV4 Proceedings of the symposium on Testing, analysis, and verification
• Year:
• 1991