• \bibitem{CousotCousot-SSGRR-00}
    P{.} Cousot and R{.} Cousot.
    \newblock Abstract Interpretation Based Program Testing.
    \newblock In {\em Proceedings of the SSGRR 2000 Computer \& eBusiness
      International Conference}, Compact disk paper 248 and electronic
      proceedings \url{http://www.ssgrr.it/en/ssgrr2000/proceedings.htm},
      L'Aquila, Italy, July 31 -- August 6 2000.  Scuola Superiore G{.} Reiss
      Romoli.
    
    @inproceedings{CousotCousot-SSGRR-00,
       author =    {Cousot, P{.} and Cousot, R{.}},
       title =     {Abstract Interpretation Based Program Testing},
       booktitle = {Proceedings of the SSGRR 2000 Computer \& eBusiness 
                    International Conference},
       address = {Compact disk paper 248 and electronic proceedings
       \url{http://www.ssgrr.it/en/ssgrr2000/proceedings.htm}, L'Aquila, Italy},
       publisher = {Scuola Superiore G{.} Reiss Romoli},
       month =     {July 31 -- August 6},
       year =      2000,
       isbn =      {88-85280-52-8},
    }
    


    copyright notice
    Last modified: Friday, 04-May-2012 11:00:16 EDT