Stylianos Basagiannis

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 17

Top Topics

Security Analysis

Languages From Positive Data

Formal Verification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

SAFECOMP Workshops

Publications