@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} }