Wes Deadrick

According to our database, Wes Deadrick authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Software Assurance Research Infusion: The NASA Experience.

Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick

Proceedings of the Leveraging Applications of Formal Methods, 2006