Difference between revisions of "Wojciech Mostowski's Publications"
From CERES
| Line 5: | Line 5: | ||
== Book Chapters == | == Book Chapters == | ||
| − | # Wojciech Mostowski. ''Chapter 9. From Sequential Java to Java Card'' of [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], pages 375–405, © Springer, 2007. | + | # Wojciech Mostowski. [http://www.springerlink.com/content/j732h75203513232/?p=b59d8e3e66754636be779abd297f39bd&pi=8 ''Chapter 9. From Sequential Java to Java Card''] of [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], pages 375–405, © Springer, 2007. [[[Wojciech Mostowski's BibTeX Entries#KeYBook-Chapter9|BibTeX]]] |
| − | # Wojciech Mostowski. ''Chapter 14. The Demoney Case Study'' of [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], pages 533–568, © Springer, 2007. | + | # Wojciech Mostowski. [http://www.springerlink.com/content/p6l05501u67486g5/?p=b59d8e3e66754636be779abd297f39bd&pi=13''Chapter 14. The Demoney Case Study''] of [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], pages 533–568, © Springer, 2007. [[[Wojciech Mostowski's BibTeX Entries#KeYBook-Chapter14|BibTeX]]] |
| − | # Wojciech Mostowski. ''Appendix B. The KeY Syntax'' of [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], pages 599–626, © Springer, 2007. | + | # Wojciech Mostowski. [http://www.springerlink.com/content/h18g366302625t79/?p=b59d8e3e66754636be779abd297f39bd&pi=16 ''Appendix B. The KeY Syntax''] of [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], pages 599–626, © Springer, 2007. [[[Wojciech Mostowski's BibTeX Entries#KeYBook-AppendixB|BibTeX]]] |
| − | # Tomasz Janowski and Wojciech Mostowski. | + | # Tomasz Janowski and Wojciech Mostowski. [http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-102-22-2176026-0,00.html?changeHeader=true ''Chapter 13. Fail-Stop Components by Pattern Matching''] of ''Specification Case Studies in RAISE'', pages 341–368, © Springer, 2002. [[[Wojciech Mostowski's BibTeX Entries#JanowskiMostowski2002|BibTeX]]] |
== Journal Articles == | == Journal Articles == | ||
Revision as of 17:03, 16 May 2015
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).
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]
