Hoare triple

From Free net encyclopedia