Teuber, S., Kern, P., Janzen, M., & Beckert, B. (2024). Revisiting Differential Verification: Equivalence Verification with Confidence.
Citazione stile Chigago Style (17a edizione)Teuber, Samuel, Philipp Kern, Marvin Janzen, e Bernhard Beckert. Revisiting Differential Verification: Equivalence Verification with Confidence. 2024.
Citatione MLA (9a ed.)Teuber, Samuel, et al. Revisiting Differential Verification: Equivalence Verification with Confidence. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.