Zeynab Sabahi-Kaviani

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Linear Temporal Logic

Automated Verification

Formal Semantics

Multi Component

Top Venues

Sci. Comput. Program.

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

IFIP Networking

Publications