William Rathje

According to our database, William Rathje authored at least 1 paper in 2014.

Collaborative distances:

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

2014

A framework for model checking UDP network programs with Java pathfinder.

William Rathje, Brad Richards

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014