dissertationreviews.org
Complexity, Verification & Computer Programming
A review of Complexity and Verification: The History of Programming as Problem Solving, by Joline Zepcevski. Despite a welcome flurry of activity over the past decade or so and a fast growing body …