Modal Extensions of the Logic of Abstract State Machines
Book chapter (June 2024)
The most recent citing publications are shown below. View all 687 publications that cite this research output on Dimensions.
Book chapter (June 2024)
Book chapter (June 2024)
Book chapter (June 2024)