Login / Signup
Prasad Bokil
Publication Activity (10 Years)
Years Active: 2008-2016
Publications (10 Years): 1
Top Topics
Abstract Interpretation
Reactive Systems
Model Checking
Malicious Code
Top Venues
SANER
HICSS
LCTES
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>