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. ...