Wojciech Mostowski's Publications

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).

Book Chapters

1. Wojciech Mostowski. Chapter 9. From Sequential Java to Java Card of Verification of Object-Oriented Software: The KeY Approach, pages 375–405, © Springer, 2007. [Springer] [BibTeX]
2. Wojciech Mostowski. Chapter 14. The Demoney Case Study of Verification of Object-Oriented Software: The KeY Approach, pages 533–568, © Springer, 2007. [Springer] [BibTeX]
3. Wojciech Mostowski. Appendix B. The KeY Syntax of Verification of Object-Oriented Software: The KeY Approach, pages 599–626, © Springer, 2007. [Springer] [BibTeX]
4. Tomasz Janowski and Wojciech Mostowski. Chapter 13. Fail-Stop Components by Pattern Matching of Specification Case Studies in RAISE, pages 341–368, © Springer, 2002. [Springer] [BibTeX]