Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited...
| সংস্থা লেখক: | , |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | Electronic Resource |
| ভাষা: | English |
| প্রকাশিত: |
Berlin, Heidelberg
Springer
c2011.
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |