Dynamic Logic (1984)

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