@inproceedings{BeckertBormerEA2012,
  author       = {Bernhard Beckert and Thorsten Bormer and Florian Merz and Carsten Sinz},
  title        = {Integration of Bounded Model Checking and Deductive Verification},
  booktitle    = {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},
  pages        = {86-104},
  year         = {2012}
}