M. D. Krenzin

According to our database, M. D. Krenzin authored at least 1 paper in 1989.

Collaborative distances:

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

1989

Achieving Understandable Results in a Formal Design Verification.

Richard B. Neely, James W. Freeman, M. D. Krenzin

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989