Jan Svejda

According to our database, Jan Svejda authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Interpretation-Based Violation Witness Validation for C: NITWIT.

Jan Svejda, Philipp Berger, Joost-Pieter Katoen

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