@InProceedings{   CousotCousot01-SSGRR,
  Author        = "Cousot, P{.} and Cousot, R{.}",
  Address       = "Compact disk, L'Aquila, Italy",
  BookTitle     = "Proceedings of the Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, SSGRR 2001",
  date-added    = "2012-12-07 10:02:12 +0000",
  date-modified = "2012-12-07 10:02:33 +0000",
  Keywords      = "abstract interpretation",
  Month         = "6--12 August, 2001",
  Publisher     = "Scuola Superiore G{.} Reiss Romoli",
  Title         = "Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation",
  Year          = "2001",
  File          = "Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation - Cousot, Cousot (0) (0) - a - a - d.pdf"
}

@InProceedings{ CousotCousot01-SSGRR, Author = "Cousot, P{.} and Cousot, R{.}", Address = "Compact disk, L'Aquila, Italy", BookTitle = "Proceedings of the Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, SSGRR 2001", date-added = "2012-12-07 10:02:12 +0000", date-modified = "2012-12-07 10:02:33 +0000", Keywords = "abstract interpretation", Month = "6--12 August, 2001", Publisher = "Scuola Superiore G{.} Reiss Romoli", Title = "Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation", Year = "2001", File = "Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation - Cousot, Cousot (0) (0) - a - a - d.pdf" }