D. Harel

First-Order Dynamic Logic - 1979 - Springer Berlin Heidelberg 1979 - Lecture Notes in Computer Science .

9783540353461


Computer Science