Login / Signup
Guido Marucci Blas
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Computer Architecture
Static Analysis
Upper Bound
Asymptotically Optimal
Top Venues
ISSTA
</>
Publications
</>
Nicolás Rosner
,
Juan P. Galeotti
,
Santiago Bermúdez
,
Guido Marucci Blas
,
Santiago Perez De Rosso
,
Lucas Pizzagalli
,
Luciano Zemín
,
Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds.
ISSTA
(2013)