Login / Signup
Nastaran Shafiei
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 3
Top Topics
Temporal Properties
Brute Force
Model Checking
Computer Games
Top Venues
ACM SIGSOFT Softw. Eng. Notes
Int. J. Softw. Tools Technol. Transf.
RV
GAS@ICSE
</>
Publications
</>