Login / Signup
Darius Foo
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 9
Top Topics
Imperative Programs
Dependency Analysis
Automated Verification
Temporal Characteristics
Top Venues
CoRR
TASE
ICSE (Workshops)
ESEC/SIGSOFT FSE
</>
Publications
</>