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
5 Months
Funding sources
SNSF
Status
Active
Category
Swiss National Science Foundation / Scientific Exchanges / Research Visit