Guido Marucci Blas

Author Info

Publications (1 rows)

Collaborators (7 rows)

Referers (15 rows)

Referees (67 rows)

Title	Citations	PageRank	Year
Parallel bounded analysis in code with rich invariants by refinement of field bounds	4	0.41	2013