Testing and debugging message passing programs in synergy with their specifications

• Authors:

• Z. Tsiatsoulis;J. Y. Cotronis

• Affiliations:

• -;-

• Venue:
• Fundamenta Informaticae
• Year:
• 2000