Foundation of compositional program refinement—safety properties

• Authors:

• R. Gerth

• Affiliations:

• -

• Venue:
• REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
• Year:
• 1990