Peter Froebel

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