Joachim Müssig

According to our database, Joachim Müssig authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Verification-based test case generation for information-flow properties.

Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019