Title: Vorträge von der Thematischen Konferenz KNWWT
Subjects: Computer programming, Computer programs, Congresses, Structured programming, Verification