Skip to main content

How to prove a program works: Measure, measure