• Formal Verification of Object-...
  • *Table of Contents*

*Result*: Formal Verification of Object-Oriented Software

*Title*:
Formal Verification of Object-Oriented Software : Papers presented at the International Conference, June 28-30, 2010, Paris, France / Bernhard Beckert ; Claude Marché (Eds.)
*Author/editor-in-chief*:
Beckert, Bernhard (Herausgeber); Marche, Claude (Herausgeber)
*Corporate*:
FoVeOOS (2010 : Paris)
*Publication*:
Karlsruhe : KIT, 2010
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Karlsruhe reports in informatics ; 2010,13
*Notes*:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
*Subject Added Keywords*:

*Additional information*

*Additional functions*