Wojciech Mostowski's Publications
From CERES
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. [[http://www.springerlink.com/content/j732h75203513232/?p=b59d8e3e66754636be779abd297f39bd&pi=8 Springer]] [BibTeX]
