Program analysis as model checking of abstract interpretations

収録刊行物

• Static Analysis

  Static Analysis 351-380, 1998

  Springer-Verlag