Login / Signup
Arjan J. Mooij
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 11
Top Topics
Cp Nets
Abstract Interpretation
Static Analysis
Legacy Software
Top Venues
SANER
ICMT
CoRR
Inf. Process. Lett.
</>
Publications
</>