Travelled to:
1 × Italy
Collaborated with:
R.Krebbers
Talks about:
variabl (1) control (1) separ (1) scope (1) logic (1) local (1) block (1) flow (1) non (1)
Person: Freek Wiedijk
DBLP: Wiedijk:Freek
Contributed to:
Wrote 1 papers:
- FoSSaCS-2013-KrebbersW #control flow #logic
- Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.