>

Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science) (v. 193) <

Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science) (v. 193)