Термины по тематике Информационные технологии, содержащие code contract

Английский	Русский
automatic extraction of function contracts from source code	автоматическое извлечение контрактов функций из исходного кода (Alex_Odeychuk)