Dynamic logic /
Harel, David,1950-
Kozen, Dexter,1951-
Tiuryn, Jerzy.
Cambridge, Mass. ; London : MIT Press,
c2000.
Includes bibliographical references and index.
Computer logic.
Formal methods (Computer science)