Correct by Construction: Building Software Right the First Time
Ever fix a bug at 2 AM and think, "There must be a better way to do this!"? If so, you're not alone....
Tags: software, testing, programming, learning