Ralph D. Jeffords
11
reputation
2
Retired Research Scientist at Naval Research Lab, Washington DC; Research Area: Formal Methods; PhD Computer Science, Washington State University (Wazzu), Advisor: David B. Benson