Greg Moum

According to our database, Greg Moum authored at least 1 paper in 2000.

Collaborative distances:

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

2000

Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.

Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000