Modal action logic for the specification and validation of safety

• Authors:

• W. D. Atkinson;J. P. Booth;W. J. Quirk

• Affiliations:

• -;-;-

• Venue:
• Mathematical structures for software engineering
• Year:
• 1991