We stand with Ukraine  

Franklyn T. Bradshaw

According to our database1, Franklyn T. Bradshaw authored at least 3 papers between 1975 and 1982.

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

1982
Use of data abstraction in process specification.
[BibTeX]
[DOI]
Franklyn T. Bradshaw
,
George W. Ernst
,
Raymond J. Hookway
ACM SIGSOFT Softw. Eng. Notes, 1982

1980
Procedure semantics and language definition.
[BibTeX]
[DOI]
Franklyn T. Bradshaw
,
George W. Ernst
,
Raymond J. Hookway
,
William F. Ogden
ACM SIGPLAN Notices, 1980

1975
Structured specification of a Security Kernel.
[BibTeX]
[DOI]
Kenneth G. Walter
,
Samuel I. Schaen
,
William F. Ogden
,
William C. Rounds
,
D. G. Shumway
,
D. D. Schaeffer
,
K. J. Biba
,
Franklyn T. Bradshaw
,
S. R. Ames
,
J. M. Gilligan
Proceedings of the International Conference on Reliable Software 1975, 1975


  Loading...