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 (FoVeOOS 2011), Revised Selected Papers

Conference Proceedings
Editor(s):Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:7421
Year:2012

BibTeX

@Proceedings{foveoos2011,
  editor       = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
  title        = {International Conference on Formal Verification of
                  Object-Oriented Software ({FoVeOOS} 2011), 
		  Revised Selected Papers},
  venue        = {Turin, Italy},
  eventdate    = {2011-10-05/2011-10-07},
  publisher    = {Springer},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  year         = {2012},
  month        = oct
}