Hoare logic
[de] Hoare-Kalkül
[es] Lógica de Hoare
[fi] Hoaren logiikka
[fr] Logique de Hoare
[it] Logica di Hoare
[ja] ホーア論理
[ko] 호어 논리
[nl] Hoarelogica
[pl] Logika Hoare’a
[pt] Lógica de Hoare