Franklyn T. Bradshaw

Publication Activity (10 Years)

Years Active: 1975-1982
Publications (10 Years): 0

Publications

Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway
Use of data abstraction in process specification. ACM SIGSOFT Softw. Eng. Notes 7 (3) (1982)
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden
Procedure semantics and language definition. ACM SIGPLAN Notices 15 (6) (1980)
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
Structured specification of a Security Kernel. Reliable Software (1975)