買った本

め組の大吾#10(曽田正人)
ベリフィケーション・メソドロジ・マニュアル(Janick Bregeron, Eduard Cerny, Alan Hunter, Andrew Nightingale)
日経Linux全記事2003-2005