« We love DAC, but can't follow instructions! | Main | The Relevance of Formal Methods »

August 03, 2009

Comments