Title: Formal development of programs and proofs
Subjects: Computer programming, Congresses, Electronic digital computers, programming