Revision as of 23:29, 19 July 2020 edit Bender the Bot (talk \| contribs) Bots 1,064,377 edits m →References: HTTP → HTTPS for Radboud University computer science department, replaced: http://www.cs.ru.nl/ → https://www.cs.ru.nl/ Tag: AWB ← Previous edit		Revision as of 22:05, 21 May 2021 edit undo Citation bot (talk \| contribs) Bots 5,864,627 edits Alter: title. \| Use this bot. Report bugs. \| Suggested by SemperIocundus \| #UCB_webform Next edit →
Line 20: {{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}} {{cite conference \|last1=Cataño \|first1=N. \|last2=Huisman \|first2=M. \|title=Formal Specification and Static Checking of ~~Gemplus’~~Gemplus' Electronic Purse Using ESC/Java \|work=FME 2002:Formal Methods—Getting IT Right \|pages=272–289 \|year=2002 \|isbn=3-540-43928-5 \|doi=10.1007/3-540-45614-7_16}} {{cite conference \|last1=Cok \|first1=D. R. \|last2=Kiniry \|first2=J. R. \|title=ESC/Java2: uniting ESC/Java and JML \|work=Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices \|pages=108–128 \|year=2005 \|isbn=3-540-24287-2 \|doi=10.1007/978-3-540-30569-9_6}} {{cite conference \|last1=Chalin \|first1=P. \|last2=Kiniry \|first2=J. R. \|last3=Leavens \|first3=G. T. \|last4=Poll \|first4=E. \|title=Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 \|work=Formal Methods for Components and Objects \|pages=[https://archive.org/details/formalmethodsfor0000fmco/page/342 342–363] \|year=2006 \|isbn=3-540-36749-7 \|doi=10.1007/3-540-45614-7_16 \|url=https://archive.org/details/formalmethodsfor0000fmco/page/342 }}

ESC/Java: Difference between revisions