Ahrendt, W., Beckert, B., Bubel, R., et al. (2016) Lecture Notes in Computer Science. In Ahrendt, W., Beckert, B., Bubel, R., Hhnle, R., Schmitt, P.H. and Ulbrich, M., Eds., Deductive Software Verification—The Key Book, SpringerLink, Berlin. - References - Scientific Research Publishing