Metamorphic Hyperproperty Testing
People
(Responsible)
Additional information
Start date
01.09.2022
End date
28.02.2023
Duration
6 Months
Funding sources
SNSF
Status
Ended
Category
Swiss National Science Foundation /
Scientific Exchanges /
Research Visit
