Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Tagungsband

Herausgeber:Bernhard Beckert and Ferruccio Damiani and Dilian Gurov
Verleger:Springer
Reihe:LNCS
Band:7421
Jahr:2012

BibTeX

@Proceedings{foveoos2011,
  editor       = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
  title        = {Formal Verification of Object-Oriented Software
		  International Conference, FoVeOOS 2011, 
		  Turin, Italy, October 5-7, 2011, 
		  Revised Selected Papers},
  publisher    = {Springer},
  series       = {LNCS},
  volume       = {7421},
  year         = {2012},
  month        = oct
}