@InProceedings{Logozzo04,
  author =       {Francesco Logozzo and Agostino Cortesi},
  title =        {Abstract interpretation-based verification of non functional requirements},
  booktitle = {Proceedings of the 7th International Conference on Coordination Models and Languages ({COORD'05})},
  month =        apr,
  year =         {2005},
  volume =       ???, 
  series =       {Lectures Notes in Computer Science},
  publisher =    {Springer-Verlag}
}