Kellen Donohue

According to our database, Kellen Donohue authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Case studies and tools for contract specifications.

Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst

Proceedings of the 36th International Conference on Software Engineering, 2014