Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.

Alexander Knppel, Thomas Thm, Carsten Immanuel Pardylla, Ina Schaefer

Browse the full ITP paper archive.