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.

Engineering & Materials Science

Agriculture & Biology

Medicine & Life Sciences