Home›Computer programming›تهذيب🌐العربيةEnglishDeutschFrançaisالعربية中文日本語EntityQ3417382· pop 5· linked from 65 articlesتهذيبAlso known as data refinementapproaches for producing correct computer programs and simplifying existing programs to enable their formal verificationAvailable in 5 languagesFrançaisDeutsch日本語Hungarianvia Wikidata sitelinks · CC0Connectionsformal methodsEntityInternational Standard Book NumberEntityCategoriesComputer programmingFormal methods terminology