R. H. Hoffman

According to our database1, R. H. Hoffman authored at least 2 papers between 1972 and 1980.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1980
Applied Techniques for Testing Distributed Data Processing Software.
Proceedings of the Distributed Data Acquisition, Computing, and Control Symposium, 1980

1972
Evaluating the effectiveness of software verification: pratical experience with an automated tool.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972


  Loading...