Content deleted Content added
No edit summary |
m →References: HTTP → HTTPS for Radboud University computer science department, replaced: http://www.cs.ru.nl/ → https://www.cs.ru.nl/ |
||
Line 26:
*{{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}}
*{{cite conference |last1=Ishikawa |first1=H. |title=An Approach for Refactoring using ESC/Java2: A Simple Case Study |work=Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques |pages=61–72 |year=2009 |isbn=978-1-60750-049-0}}
*{{cite conference |last1=Poll |first1=E. |title=Teaching Program Specification and Verification Using JML and ESC/Java2 |work=Proceedings of the 2nd International Conference on Teaching Formal Methods |pages=92–104 |year=2009 |isbn=978-3-642-04911-8 |doi=10.1007/978-3-642-04912-5_7 |url=
*{{cite conference |last1=James |first1=P. R. |last2=Chalin |first2=P. |title=ESC4: a modern caching ESC for Java |work=Proceedings of the 8th international workshop on Specification and verification of component-based systems |pages=19–26 |year=2009 |isbn=978-1-60558-680-9 |doi=10.1145/1596486.1596491}}
{{refend}}
| |||