Symbolic execution as a framework for deductive verification of object-oriented programsSteffen SchlagerEsaurito4,3Avvisami
