Revision as of 16:27, 24 March 2016 edit 77.56.53.183 (talk) No edit summary ← Previous edit		Revision as of 06:56, 10 August 2016 edit undo Sam-m888 (talk \| contribs) Extended confirmed users 894 edits No edit summary Next edit →
Line 15: == References == {{Reflist}} ;Notes {{refbegin}} *{{cite conference \|last1=Flanagan \|first1=C. \|last2=Kiniry \|first2=K. R. M. \|title=Houdini, an Annotation Assistant for ESC/Java \|work=FME 2001: Formal Methods for Increasing Software Productivity \|pages=500–517 \|year=2001 \|isbn=3-540-41791-5 \|doi=10.1007/3-540-45251-6_29}}

ESC/Java: Difference between revisions