Login / Signup
Galen B. Williamson
Publication Activity (10 Years)
Years Active: 2002-2002
Publications (10 Years): 0
</>
Publications
</>
Mitchell Wand
,
Galen B. Williamson
A Modular, Extensible Proof Method for Small-Step Flow Analyses.
ESOP
(2002)