Participations Information, 16.08.1983-24.08.1983
Paper, 18.08.1983"Abstract Data Types and Finding Invariants of Programs"
Working Notes, 16.08.1983-24.08.1983
Programme with attachment, 15.08.1983
List, 15.08.1983
Invitation, 16.08.1983
Initial order | In alphabetical order | By date |