@InProceedings{Logozzo04-3,
  author =       {Francesco Logozzo},
  title =        {An Approach to Behavioral Subtyping Based on Static Analysis},
  booktitle = {Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)},
  month =        mar,
  year =         {2005},
  volume =       116,
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier Science},
}