From: Robert Dober <robert.dober@...>
Date: 2010-04-28T01:58:30+09:00
Subject: Re: Formal methods

On Tue, Apr 27, 2010 at 6:42 PM, Bernhard Brodowsky
<brodowsb@student.ethz.ch> wrote:
> Robert Dober wrote:
<snip>
> Maybe I'll do my bachelor thesis on this. :D
To re insist on the complexity of the thing, PhD you mean?
;)
R.

-- 
The best way to predict the future is to invent it.
-- Alan Kay