Title: Formal models in programming
Subjects: Computer programming, Congresses
People: Heinz Zemanek