Improved upper and lower bounds for modal logics of programs

• 1 January 1985
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 240-251
• https://doi.org/10.1145/22145.22173

Abstract