Jonathan K. Millen

Publication Activity (10 Years)

Years Active: 1967-2021
Publications (10 Years): 2

Top Topics

Heuristic Search

Constraint Solving

Formal Analysis

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

Protocols, Strands, and Logic

Publications