Login / Signup
Thi Bich Ngoc Do
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 3
Top Topics
Temporal Properties
Finite State
Model Checking
Test Cases
Top Venues
QRS
CoRR
SoICT
ICFEM
</>
Publications
</>