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...
Coauteurs: | , |
---|---|
Andere auteurs: | , |
Formaat: | Electronic Resource |
Taal: | English |
Gepubliceerd in: |
Berlin, Heidelberg
Springer
c2011.
|
Onderwerpen: | |
Online toegang: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |