Keith M. Hobley
According to our database1,
Keith M. Hobley
authored at least 4 papers
between 1990 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
Proceedings of the 15th International Conference on Computer Safety, 1996
1995
Proceedings of the 14th International Conference on Computer Safety, 1995
1992
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.
Proceedings of the Theorem Provers in Circuit Design, 1992
1990
PhD thesis, 1990