Georg Dresler

According to our database, Georg Dresler authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Software Verification in the Google App-Engine Cloud.

Dirk Beyer, Georg Dresler, Philipp Wendler

Proceedings of the Computer Aided Verification - 26th International Conference, 2014