@InProceedings{ftjp02,
  author = 	 {Alessandro Coglio},
  title = 	 {Simple Verification Technique for
                  Complex {Java} Bytecode Subroutines},
  booktitle = 	 {Proc.\ 4th {ECOOP} Workshop on
                  Formal Techniques for {Java}-like Programs},
  year = 	 {2002},
  month = 	 {June}
}