2011-02-28 名古屋Reject会議で「証明駆動開発のたのしみ」というタイトルで発表してきました event 証明駆動開発のたのしみ@名古屋reject会議 View more presentations from Hiroki Mizuno