Parallel bounded analysis in code with rich invariants by refinement of field bounds.
Nicolás RosnerJuan P. GaleottiSantiago BermúdezGuido Marucci BlasSantiago Perez De RossoLucas PizzagalliLuciano ZemínMarcelo F. FriasPublished in: ISSTA (2013)
Keyphrases