Rona B. Stillman

Publication Activity (10 Years)

Years Active: 1973-1980
Publications (10 Years): 0

Publications

Rona B. Stillman, Casper R. DeFiore
Computer Security and Networking Protocols: Technical Issues in Military Data Communications Networks. IEEE Trans. Commun. 28 (9) (1980)
Gordon Lyon, Rona B. Stillman
Simple Transforms for Instrumenting FORTRAN Decks. Softw. Pract. Exp. 5 (4) (1975)
Rona B. Stillman
The Concept of Weak Substitution in Theorem-Proving. J. ACM 20 (4) (1973)