JAIST Repository > Research Center for Software Verification 2010-2016 > Grants-in-aid for Scientific Research Papers >
証明スコア法に基づく革新的仕様検証システムの構築