Speaker
Ruzica Piskac
Talks at this conference:
| Fri, 9:00 | Towards Private Runtime Verification: Foundations of Privacy-Preserving Automated Reasoning Live |
Sponsored by:
Formal Methods Europe
Speaker
| Fri, 9:00 | Towards Private Runtime Verification: Foundations of Privacy-Preserving Automated Reasoning Live |