A Case for Teaching Program Verification: Its Importance in the CS Curriculum

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'A Case for Teaching Program Verification: Its Importance in the CS Curriculum'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Social Sciences

Arts and Humanities

Physics