Robert Brockett Anderson

1941

• Proving programs correct