2010-04-15 第4回Formal Methods 勉強会 Formal Methods Forum http://atnd.org/events/4110第4回はAlloy,Coqに加えて、理論面でCEGARのお話も入る。 技術的に高度だからといって、 決して一見さんお断りにはならないのでご安心を。