Difference between revisions of "Wojciech Mostowski's Publications"
From CERES
| Line 8: | Line 8: | ||
''Chapter 9. From Sequential Java to Java Card'' of | ''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''], | [http://www.springerlink.com/content/978-3-540-68977-5/ ''Verification of Object-Oriented Software: The KeY Approach''], | ||
| − | pages 375 | + | pages 375–405, © Springer, 2007. |
| − | [[http://www.springerlink.com/content/j732h75203513232/?p=b59d8e3e66754636be779abd297f39bd&pi=8 | + | [[http://www.springerlink.com/content/j732h75203513232/?p=b59d8e3e66754636be779abd297f39bd&pi=8 Springer]] [[[Wojciech Mostowski's BibTeX Entries#KeYBook-Chapter9|BibTeX]]] |
| − | Springer]] [[[Wojciech Mostowski's BibTeX Entries#KeYBook-Chapter9|BibTeX]]] | + | |
<!-- | <!-- | ||
Revision as of 16:45, 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. [Springer] [BibTeX]
