This web-site is now archived and no longer updated. My website is now a Forest.
Go To Forest
- Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015
- A Lattice of Languages is a Verification Buffet - 16th June 2015
- SAPLING 2013 - 16th December 2013
- Imperative Reasoning is Hard - 13th November 2013