Search for contacts, projects,
courses and publications

Metamorphic Hyperproperty Testing

People

 

Tonella P.

(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