Title: Temporal logic of programs
Subjects: Computer programming, Symbolic and mathematical Logic, Programozás, Logique symbolique et mathématique, Programm, Temporale Logik, Matematikai logika, Ordinateurs, Logica e semantica de programacao, Formális logika