Dynamic Logic (1984)

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