Olga Thoss

According to our database, Olga Thoss authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Unified Approach to Static and Runtime Verification.

Olga Thoss, Andreas Werner, Robert Kaiser, Reinhold Kröger

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020