Search for a sign language term

Formal Methods

Formal methods are mathematical techniques for the specification, development and verification of software and hardware. The use of these mathematical technics contributes to the reliability and robustness of the software and hardware.

Funding

This project has been co-funded with support from the European Commission. This communication reflects the views only of the author, and the Commission cannot be held responsible for any use which may be made of the information contained therein.
Project number: 2020-1-IT01-KA202-008386

Consortium

Istituto Dei Sordi Di Torino
Equalizent Schulungs Und Beratungs Gmbh
Associação Portuguesa de Emprego Apoiado
Fundacion Tecnologia Social
Emphasys Centre
“Budakov Films” EOOD
European Digital Learning Network
en_USEnglish
it_ITItalian de_ATGerman pt_PTPortuguese es_ESSpanish bg_BGBulgarian elGreek en_USEnglish