Title: Symposium on Logic in Computer Science
First published: 1986
Subjects: Computer programs, Congresses, Correctness, Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical Logic