Program analysis as model checking of abstract interpretations (1998)

by David Schmidt , Bernhard Steffen
Citations:60 - 2 self