ESC/Java: Difference between revisions

Revision as of 21:30, 31 July 2019

Revision as of 11:05, 18 December 2019

Line 22:

*{{cite conference |last1=Cataño |first1=N. |last2=Huisman |first2=M. |title=Formal Specification and Static Checking of 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=httphttps://wwwarchive.cs.ru.nlorg/~erikpolldetails/papersformalmethodsfor0000fmco/fmco05.pdfpage/342 }}

*{{cite conference |last1=Cok |first1=D. R. |title=Specifying java iterators with JML and Esc/Java2 |work=Proceedings of the 2006 conference on Specification and verification of component-based systems |pages=71–74 |year=2006 |isbn=1-59593-586-X |doi=10.1145/1181195.1181210}}

*{{cite conference |last1=Chalin |first1=P. |title=Early detection of JML specification errors using ESC/Java2 |work=Proceedings of the 2006 conference on Specification and verification of component-based systems |pages=25–32 |year=2006 |isbn=1-59593-586-X |doi=10.1145/1181195.1181201}}