David R. Cok

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 15

Top Topics

Functional Programming

Automated Reasoning

Top Venues

The Logic of Software. A Tasting Menu of Formal Methods

J. Satisf. Boolean Model. Comput.

Publications