Kevin W. Smith

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 1

Top Topics

Imperative Programs

Finite Automata

Reasoning About Actions

Top Venues

Publications

Kevin W. Smith, Moshe Y. Vardi
Automata Linear Dynamic Logic on Finite Traces. CoRR (2021)
Kevin W. Smith, Bran Selic
Object behavior modeling. OOPSLA Addendum (1998)