programme correctness proof - Almanca İngilizce Sözlük