Login / Signup
Shmuel S. Tyszberowicz
ORCID
Publication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 22
Top Topics
Formal Verification
Lightweight
Software Architecture
Min Sum
Top Venues
SETTA
SAC
Internetware
SANER
</>
Publications
</>