Dynamic logic /
Harel, David,1950-author.
Kozen, Dexter,1951-author.
Tiuryn, Jerzy,author.
First published: 2000.
Includes bibliographical references and index.
Computer logic.
Formal methods (Computer science)