Proof Summit 2012 での発表 Omega test and beyond のスライドを公開しました。
http://www.slideshare.net/sakai/omega-test-and-beyond
#proofsummit   #proofsummit2012