Speaker
Mukund Raghothaman
Talks at this conference:
| Fri, 10:30 | Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates Live |
Sponsored by:
Formal Methods Europe
Speaker
| Fri, 10:30 | Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates Live |