@InProceedings{BCT03,
  author = 	 {Roberto Barbuti and Stefano Cataudella and Luca Tesei},
  title = 	 {Abstract Interpretation against Races},
  booktitle = 	 {Proceedings of the 12th Concurrency, Specification
                  \& Programming Workshop (CS\&P'2003)},
  year =	 {2003},
  editor =	 {L. Czaja},
  address =	 {Czarna, Poland},
  month =	 {September},
  publisher =	 {Zak{\l}ad Graficzny UW, Warsaw},
  organization = {Warsaw University},
  volume =       {591/2003}
}