formal method - Español Inglés Diccionario