\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}, }
Tuesday, 29-Sep-2015 20:01:18 EDT