Login / Signup
Karla Burnett
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Multiscale
Statistical Analysis
Object Oriented
Top Venues
FSTTCS
</>
Publications
</>
Franck Cassez
,
Christian Müller
,
Karla Burnett
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement.
FSTTCS
(2014)