Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

Conference Proceedings
Editor(s):Bernhard Beckert and Claude Marché
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:6528
Year: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
		  International Conference ({FoVeOOS} 2010),
                  Revised Selected Papers},
  venue        = {Paris, France},
  eventdate    = {2010-06-28/2010-06-30},
  publisher    = {Springer},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  year         = {2011}
}