Orson R. Ward

According to our database, Orson R. Ward authored at least 1 paper in 2000.

Collaborative distances:

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

2000

Model Checking the Java Meta-Locking Algorithm.

Samik Basu, Scott A. Smolka, Orson R. Ward

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000