proof of partial correctness - Alemán Inglés Diccionario