Roger Fleming

According to our database1, Roger Fleming authored at least 2 papers between 1991 and 1992.

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

1992
Theorem Proving as an Industrial Tool for System Level Desgin.
Proceedings of the Theorem Provers in Circuit Design, 1992

1991
Industrial Application of Theorem Proving to System Level Design.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991


  Loading...