Dynamic Logic (1984)

by David Harel , Dexter Kozen , Jerzy Tiuryn
Venue:Handbook of Philosophical Logic
Citations:899 - 7 self