Speaker
Marek Chalupa
Talks at this conference:
| Fri, 13:30 | Monitoring Hyperproperties over Observed and Constructed Traces Live |
Sponsored by:
Formal Methods Europe
Speaker
| Fri, 13:30 | Monitoring Hyperproperties over Observed and Constructed Traces Live |