M. M. Adams

According to our database, M. M. Adams authored at least 1 paper in 2005.

Collaborative distances:

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

2005

ClawZ: Cost-Effective Formal Verification for Control Systems.

M. M. Adams, Philip B. Clayton

Proceedings of the Formal Methods and Software Engineering, 2005