Dynamic logic - Harel, David 1950-; Kozen, Dexter 1951-; Tiuryn, Jerzy (New Delhi : Prentice-Hall, 2007)
Includes bibliographical references and index
Keywords: Computer logic; Formal methods (Computer science)