Difference between revisions of "Wojciech Mostowski's Publications"
From CERES
| Line 1: | Line 1: | ||
[[Wojciech Mostowski's BibTeX Entries|Complete List of BibTeX Entries]] | [[Wojciech Mostowski's BibTeX Entries|Complete List of BibTeX Entries]] | ||
| − | All publications are listed in reverse chronological order. The material available on this page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s) and/or the copyright holder(s). | + | All publications are listed in reverse chronological order per section. The material available on this page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s) and/or the copyright holder(s). |
== Book Chapters == | == Book Chapters == | ||
Revision as of 17:11, 16 May 2015
Complete List of BibTeX Entries
All publications are listed in reverse chronological order per section. The material available on this page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s) and/or the copyright holder(s).
Contents
Book Chapters
- Wojciech Mostowski. Chapter 9. From Sequential Java to Java Card of Verification of Object-Oriented Software: The KeY Approach, pages 375–405, © Springer, 2007. [BibTeX]
- Wojciech Mostowski. Chapter 14. The Demoney Case Study of Verification of Object-Oriented Software: The KeY Approach, pages 533–568, © Springer, 2007. [BibTeX]
- Wojciech Mostowski. Appendix B. The KeY Syntax of Verification of Object-Oriented Software: The KeY Approach, pages 599–626, © Springer, 2007. [BibTeX]
- Tomasz Janowski and Wojciech Mostowski. Chapter 13. Fail-Stop Components by Pattern Matching of Specification Case Studies in RAISE, pages 341–368, © Springer, 2002. [BibTeX]
