リダクションの近似に基づくプログラム検証手法の研究
Author(s)
Bibliographic Information
リダクションの近似に基づくプログラム検証手法の研究
(科学研究費補助金(基盤研究C)研究成果報告書, 平成14年度-平成17年度)
[外山芳人], 2006.5
- Other Title
-
平成14年度~平成17年度科学研究費補助金(基盤研究(C))研究成果報告書 : 課題番号14580357
- Title Transcription
-
リダクション ノ キンジ ニ モトズク プログラム ケンショウ シュホウ ノ ケンキュウ
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献あり