Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 165-166, GI, 2019. [doi]
Abstract is missing.