Meiko Prilop

According to our database, Meiko Prilop authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.

Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz

Proceedings of the Theoretical Aspects of Software Engineering, 2022