Formal Verification of Object-Oriented Software. Papers Presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy

Technical Report

Editor(s):Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov
Institution:Karlsruhe Institute of Technology, Department of Informatics
Year:2011
Number:2011-26

Note

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

BibTeX

@techreport{BeckertDamianiGurov2011,
  editor =      {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
  title =       {Formal Verification of Object-Oriented Software.
		Papers Presented at the 2nd International Conference, 
		October 5-7, 2011, Turin, Italy
		},
  institution =  {Karlsruhe Institute of Technology, Department of Informatics},
  number =       {2011-26},
  note =         {Available at http://digbib.ubka.uni-karlsruhe.de/volltexte/1000024780},
  year =         {2011},
  month =        oct
}