Travelled to:1 × Switzerland
Collaborated with:N.Rosner J.P.Galeotti S.Bermúdez S.P.D.Rosso L.Pizzagalli L.Zemín M.F.Frias
Talks about:bound (2) parallel (1) analysi (1) invari (1) refin (1) field (1) rich (1) code (1)
Person: Guido Marucci Blas
DBLP: Blas:Guido_Marucci
Contributed to:
2013Wrote 1 papers:
- ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement
- Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.