Willi Ballenthin
tweets
November 30, 2009
Proving properties of software. Its kind of neat, except I don’t feel very rigorous.
@williballenthin