Search Results for 'abstractionsq1'

abstractionsq1 published presentations and documents on DocSlides.

On Abstraction Refinement for Program Analyses in

by giovanna-bartolotta

Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...