Object-oriented software testing and metric in Z specification

• Authors:

• Chi-Ming Chung;Timothy K. Shih;Chun-Chia Wang

• Affiliations:

• -;-;-

• Venue:
• Information Sciences: an International Journal
• Year:
• 1997