FORMAL METHODS IN COMPUTER SCIENCE

Ref.No: 67118000
Start date: 31.05.2021
End date: 31.12.2021
Approval date: 31.05.2021
Department: APPLIED MATHEMATICAL & PHYSICAL SCIENCES
Sector: MATHEMATICS
Financier: ΕΠΙΒΡΑΒΕΥΣΗ 2019, GENIKH GRAMMATEIA EREYNAS KAI TEXNOLOGIAS
Budget: 7.573,94 €
Public key: 6ΚΦΠ46ΨΖΣ4-Θ7Κ
Scientific Responsible: Assist. Prof. STEFANEAS
Email: petros@math.ntua.gr
Description: THIS PROJECT IS TO DEVELOP FURTHER THE RESEARCH AREA OF FORMAL METHODS AT NTUA
Go to Top