Auflistung nach Autor "Pardylla, Carsten Immanuel"
Anzeige der Dokumente 1-1 von 1
-
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
165-166