DocumentCode

2368033

Title

Program Correctness Proofs in a Computer Literacy Course

Author

Arnow, David M.

Author_Institution

Brooklyn College

fYear

1992

fDate

11-14 Nov 1992

Firstpage

461

Lastpage

466

fLanguage

English

Publisher

ieee

Conference_Titel

Frontiers in Education, 1992. Proceedings. Twenty-Second Annual conference

Print_ISBN

0-7803-0832-8

Type

conf

DOI

10.1109/FIE.1992.683441

Filename

683441