Sciweavers

BIRTHDAY
2010
Springer
14 years 4 months ago
A Scalable Segmented Decision Tree Abstract Domain
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
Patrick Cousot, Radhia Cousot, Laurent Mauborgne