Symbolic execution as a framework for deductive verification of object-oriented programsSteffen SchlagerÉpuisé4,3Prévenez-moi
