International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Revised Selected Papers

Tagungsband

Herausgeber:Bernhard Beckert and Claude Marché
Verleger:Springer
Reihe:LNCS
Band:6528
Jahr:2011
Preprint/PDF:foveoos2010.pdf

BibTeX

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