On formal specifications and completeness: reply to Farshid Nourani

• Authors:

• Theodore A. Linden

• Affiliations:

• Xerox Corp., Palo Alto, CA

• Venue:
• ACM SIGSOFT Software Engineering Notes
• Year:
• 1978