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

In-house publ.

Send by email

Address

Subject

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • TR

R001065

Send by email

Address

Subject

Details

Publication year

2000

Series title

Information Science Technical Report ; TR2000005

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

Gizdarski, Emil

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

ISSN

09199527

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo