Automatic analysis of consistency between implementations and requirements

• Authors:

• Marsha Chechik;John Gannon

• Affiliations:

• Univ. of Maryland, College Park;Univ. of Maryland, College Park

• Venue:
• Automatic analysis of consistency between implementations and requirements
• Year:
• 1995