2010-07-30 SEC、形式手法の事例やツールをまとめた報告書を公開 Program 「欧州圏などでは、今後、形式手法を適用しないで開発された製品は、通商上の制約を受ける可能性が考えられる」という。 mjk!