Dynamic logic [electronic resource] - Harel, David 1950-; Kozen, Dexter 1951-; Tiuryn, Jerzy; NetLibrary, Inc. (Cambridge, Mass MIT Press, 2000)
Electronic reproduction
Mode of access: World Wide Web
Keywords: Computer logic; Formal methods (Computer science)