Greg Moum

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000


  Loading...