Travelled to:
1 × France
Collaborated with:
M.Wand
Talks about:
modular (1) method (1) extens (1) analys (1) small (1) proof (1) step (1) flow (1)
Person: Galen B. Williamson
DBLP: Williamson:Galen_B=
Contributed to:
Wrote 1 papers:
- ESOP-2002-WandW #analysis #composition #proving
- A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.