N. Ege Saraç - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Fri 3 Oct 2025

Name:N. Ege Saraç

Country:Germany

Affiliation:CISPA Helmholtz Center for Information Security

Contributions

2026

FM

Quantitative Monitoring of Signal First-Order Logic

Show activities from other conferences

FM 2026-profile
View general profile