丸山 勝久 | 早稲田大学理工学部電気工学科(NTTソフトウェア研究所)

スポンサーリンク

概要

• 丸山 勝久の詳細を見る
• 同名の論文著者
• 早稲田大学理工学部電気工学科(NTTソフトウェア研究所)の論文著者

関連著者

• 深澤 良彰

  早稲田大学大学院基幹理工学研究科:国立情報学研究所

• 深澤 良彰

  早稲田大学

• 小野 康一

  早稲田大学理工学部情報学科

• 丸山 勝久

  早稲田大学理工学部電気工学科(NTTソフトウェア研究所)

• 小野 康一

  日本アイ・ビー・エム株式会社 東京基礎研究所

• 門倉 敏夫

  早稲田大学理工学部

著作論文

• プログラム変更に対する正当性検証技法と分割技法の適用
• プログラム変更に対する正当性検証技法の適用

スポンサーリンク