3 ms·An Approach to Teaching to Write Safe and Correct Imperative Programs in C* [pdf]1 points by bobbiechen 5y ago