Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties

• Authors:

• I. S. W. B. Prasetya

• Affiliations:

• -

• Venue:
• HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
• Year:
• 1993