proof of partial correctness - Almanca İngilizce Sözlük