Login / Signup

The teaching of program correctness.

W. D. Maurer
Published in: SIGCSE-1 (1977)
Keyphrases