Home›Browse›روشهای صوری🌐فارسیEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTiếng ViệtTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ1049183· pop 27· linked from 604 articlesروشهای صوریSign in to savemathematical program specification intended to allow correctness proofs, including algorithmicallyAvailable in 27 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةAlbanianAzerbaijaniBahasa IndonesiaBasqueHungarianLithuanianMalayNederlandsPolskiShow 8 moreSerbianSvenskaTiếng ViệtTürkçeUkrainianzh_yueفارسی한국어via Wikidata sitelinks · CC0