Trying to learn how to translate from the human translation examples.
From: Machine Translation
Suggest a better translation
Quality:
From professional translators, enterprises, web pages and freely available translation repositories.
"programação por contrato" tem suas raízes em verificação formal, especificação formal e lógica hoare.
design by contract has its roots in work on formal verification, formal specification and hoare logic.
Some human translations with low relevance have been hidden.
Show low-relevance results.