William F. Wilson

According to our database, William F. Wilson authored at least 3 papers between 1980 and 1986.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

Muse : A Computer Assisted Verification System.

J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

1985

Programmable heuristics for theorem provers.

William F. Wilson, Sam Owre

ACM SIGSOFT Softw. Eng. Notes, 1985

1980

A note on information flow into arrays.

Morrie Gasser, Jonathan K. Millen, William F. Wilson

ACM SIGSOFT Softw. Eng. Notes, 1980