🌐EnglishEnglishDeutschFrançaisالعربية中文日本語EntityQ3417382· pop 5· linked from 65 articlesrefinementAlso 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