Home›Browse›formal specification🌐EnglishEnglishDeutschEspañolFrançaisItalianoPortuguêsРусский中文日本語EntityQ1437424· pop 10· linked from 152 articlesformal specificationSign in to savemathematically based techniques whose purpose are to help with the implementation of systems and softwareAvailable in 10 languagesEspañolDeutsch日本語РусскийPortuguêsBasqueMalagasysimpleUkrainianvia Wikidata sitelinks · CC0