Agnieszka M. Zbrzezny

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 17

Top Topics

Modulo Theories

Security Protocols

Metric Temporal Logic

Artifact Centric

Top Venues

Publications