Tobias Gödderz

According to our database, Tobias Gödderz authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Automatic Testing of Operation Invariance.

Tobias Gödderz, Janis Voigtländer

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014