Auflistung P292 - Software Engineering and Software Management 2019 Nach Schlagwort "Automated Reasoning" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

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

Anzeige der Dokumente 1-1 von 1

«
»