Formal Verification of Object-Oriented Software. International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010. Revised Selected Papers

Conference Proceedings

Editor(s):Bernhard Beckert and Claude Marché
Publisher:Springer
Series:LNCS
Volume:6528
Year:2011
Preprint/PDF:foveoos2010.pdf

BibTeX

@proceedings{foveoos2010,
  editor       = {Bernhard Beckert and Claude March\'{e}},
  title        = {Formal Verification of Object-Oriented Software.
		  International Conference, FoVeOOS 2010,
		  Paris, France, June 28-30, 2010.
		  Revised Selected Papers},
  publisher    = {Springer},
  series       = {LNCS},
  volume       = {6528},
  year         = {2011}
}