Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

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...

תיאור מלא

מידע ביבליוגרפי
Corporate Authors: FoVeOOS 2010 Paris,France, SpringerLink (Online service)
מחברים אחרים: Beckert, Bernhard, Marché, Claude
פורמט: Electronic Resource
שפה:English
יצא לאור: Berlin, Heidelberg Springer c2011.
נושאים:
Computer software > Verification > Congresses.
Object-oriented methods (Computer science) > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
גישה מקוונת:Available for University of the Philippines Diliman via SpringerLink. Click here to access