Metamorphic Hyperproperty Testing
Persone
(Responsabile)
Informazioni aggiuntive
Data d'inizio
01.09.2022
Data di fine
28.02.2023
Durata
5 Mesi
Enti finanziatori
SNSF
Stato
Concluso
Categoria
Swiss National Science Foundation /
Scientific Exchanges /
Research Visit