Equivalences among Logics of Programs

Albert R. Meyer, Jerzy Tiuryn. Equivalences among Logics of Programs. J. Comput. Syst. Sci., 29(2):160-170, 1984.

No reviews for this publication, yet.