LAFF - On Programming for Correctness

Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.