Title: Logics of Programs
Subtitle: Lecture Notes in Computer Science
Subjects: Computer programming, Congresses