SPIRIT : Satisfiability Problem Implementation for Redundancy Identification and Test Generation

SPIRIT : Satisfiability Problem Implementation for Redundancy Identification and Test Generation

Emil Gizdarski, Hideo Fujiwara

生駒 : 奈良先端科学技術大学院大学, 2000.4

学内論文

メールで送信

宛先

件名

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • TR

R001065

メールで送信

宛先

件名

巻号情報へ戻る

詳細情報

刊年

2000

シリーズ名

Information Science Technical Report ; TR2000005

標題言語

(eng)

本文言語

(eng)

著者情報

Gizdarski, Emil

藤原, 秀雄(1946-) (フジワラ, ヒデオ) [ Huziwara, Hideo ] [ Fujiwara, Hideo ]

ISSN

09199527

ブックマークを編集

リストを選択

メモ

リストを選択

ブックマークに登録

リストを選択

指定なし

メモ