Peter Froebel

According to our database, Peter Froebel 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