@InProceedings{ghezzi03:enhancing,
  author =       {Carlo Ghezzi and Vincenzo Martena and Gian Pietro Picco},
  title =        {{Enhancing Remote Method Invocation through Type-Based Static Analysis}},
  booktitle = {Proceedings of the 7$^{th}$ International Conference on Fundamental Approaches to Software Engineering (FASE04)},
  pages =     {339--353},
  year =      2004,
  editor =    {M. Wermelinger and T. Margaria},
  volume =    {2984},
  OPTnumber =    {},
  series =    {Lecture Notes on Computer Science},
  address =   {Barcelona (Spain)},
  month =     mar,
  OPTorganization = {},
  publisher = {Springer}
}