Tim Enger

According to our database, Tim Enger authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Proving Non-looping Non-termination Automatically.

Fabian Emmes, Tim Enger, Jürgen Giesl

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012