Login / Signup
Serdar Tasiran
Publication Activity (10 Years)
Years Active: 1994-2021
Publications (10 Years): 20
Top Topics
Correctness Criteria
Formal Verification
Concurrent Programs
Temporal Properties
Top Venues
CAV (2)
VSTTE
RV
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>