Title: Logics of programs and their applications
Subjects: Computer programming, Congresses