proof of partial correctness - Español Inglés Diccionario