Formal Verification of Object-Oriented Software, Papers Presented at the International Conference - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2010

Formal Verification of Object-Oriented Software, Papers Presented at the International Conference

Bernhard Beckert
  • Function : Scientific advisor
Claude Marché
No file

Dates and versions

inria-00534339 , version 1 (09-11-2010)

Identifiers

  • HAL Id : inria-00534339 , version 1

Cite

Bernhard Beckert, Claude Marché (Dir.). Formal Verification of Object-Oriented Software, Papers Presented at the International Conference. Bernhard Beckert and Claude Marché. Karlsruhe University, 2010-13, pp.368, 2010, Karlsruhe Reports in Informatics. ⟨inria-00534339⟩
35 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More