Dimensions in program verification
bugcounting.net