hoare logic - Inglés Sinónimo Diccionario