@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),
Revised Selected Papers},
publisher = {Springer},
series = {LNCS},
volume = {7421},
pages = {86--104},
year = {2012},
month = oct,
venue = {Turin, Italy},
eventdate = {2011-10-05/2011-10-07}
}