Brian R. Becker
According to our database1,
Brian R. Becker
authored at least 4 papers
between 1995 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
1995
1996
1997
1998
1999
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Softw. Test. Verification Reliab., 1999
1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
1996
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996
1995
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995