Formal Verification of Object-Oriented Software. Papers Presented at the International Conference, June 28-30, 2010, Paris, France

Technischer Bericht

Herausgeber:Bernhard Beckert and Claude Marché
Institution:Karlsruhe Institute of Technology, Department of Informatics
Jahr:2010
Nummer:2010-13

Anmerkung

Available at http://digbib.ubka.uni-karlsruhe.de/volltexte/1397033

BibTeX

@techreport{BeckertMarche2010,
  editor =      {Bernhard Beckert and Claude March\'{e}},
  title =       {Formal Verification of Object-Oriented Software.
		Papers Presented at the International Conference, 
		June 28-30, 2010, Paris, France
		},
  institution =  {Karlsruhe Institute of Technology, Department of Informatics},
  number =       {2010-13},
  note =         {Available at 
                  http://digbib.ubka.uni-karlsruhe.de/volltexte/1397033},
  year =         {2010}
}