Login / Signup
Duc-Than Nguyen
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 2
Top Topics
Privacy Preserving
Formal Descriptions
Transition Systems
Memory Space
Top Venues
PLDI
CPP
ICCSAMA
</>
Publications
</>