William F. Wilson

Publication Activity (10 Years)

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

Publications

J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13 (2) (1987)
J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy (1986)
William F. Wilson, Sam Owre
Programmable heuristics for theorem provers. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Morrie Gasser, Jonathan K. Millen, William F. Wilson
A note on information flow into arrays. ACM SIGSOFT Softw. Eng. Notes 5 (1) (1980)