Abstraction, model checking and software correctness

Abstract

I hope you were able to read the contribution from Maria and Gary Litvin, <i>Pre-college Math Concepts vs Skills - Preparation for Computing Studies</i>, in my last column. This article addressed one of the most important issues our discipline faces, the preparation and motivation of young people to pursue a career in computing. To repeat, here is a quote… (More)
DOI: 10.1145/1383602.1383624

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics