Title: Logics of Programs
Subjects: Computer programming, Congresses