Logics of Programs

Dexter Kozen, Jerzy Tiuryn. Logics of Programs. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 789-840, 1990.

Abstract

Abstract is missing.