Marvin Janzen

According to our database, Marvin Janzen authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Revisiting Differential Verification: Equivalence Verification with Confidence.

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025