The Tableau WorkBench (TWB)
About Us
Demo
Download
Publications
Tutorial
Forum
Login
Projects
Site News
jack's blog
Honours thesis now available
Wed, 2010-01-13 19:29 — jack
I've uploaded my
honours thesis
, looking at the tactic semantics of the TWB.