Symbolic execution as a framework for deductive verification of object-oriented programsSteffen SchlagerUitverkocht4,3Volgen