@InProceedings{BBDT02,
  author = 	 {Roberto Barbuti and Cinzia Bernardeschi and
                  Nicoletta {De Francesco} and Luca Tesei},
  title = 	 {Fixing the Java bytecode verifier by a suitable type
                  domain},
  booktitle = 	 {Proceedings of the 14th International Conference on
                  Software Engineering and Knowledge Engineering (SEKE'02)},
  pages =	 {377--382},
  year =         {2002},
  address =	 {Ischia, Italy},
  month =	 {July},
  publisher =	 {ACM Press, New York}
}