MISC

2015年6月

Enlightening Test-Driven with Formal, Formal with Test-Driven through Spec-Test-Go-Round

Technical Report, GRACE Center, National Institute of Informatics
  • Fuyuki Ishikawa
    • ,
  • Takuo Doi
    • ,
  • Kazunori Sakamoto
    • ,
  • Nobukazu Yoshioka
    • ,
  • Yoshinori Tanabe
巻
号
GRACE-TR-2015-05
開始ページ
1
終了ページ
17
記述言語
英語
掲載種別
機関テクニカルレポート，技術報告書，プレプリント等
エクスポート
BibTeX RIS
MISCリストへ