A case for teaching program verification: Its importance in the CS curriculum.

Ali Mili

Browse the full SIGCSE paper archive.