@InProceedings{SasseMeseguerJava+ITP-WRLA06,
  author = 	 {Ralf Sasse and Jos{\'e} Meseguer},
  title = 	 {Java+{ITP}: A Verification Tool Based on Hoare Logic and Algebraic Semantics},
  booktitle = 	 {Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna, Austria},
  year = 	 {2006},
  series = 	 {ENTCS},
  publisher = {Elsevier},
  note = 	 {to appear}
}