ISBN3540208941 (acid-free paper)
数量viii, 266 p. : ill. ; 24 cm.
並列タイトル等Formal approaches to software testing : 3rd international workshop on formal approaches to testing of software, FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
一般注記Revised papers.
FATES was held in affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003.
書誌注記Includes bibliographical references and author index.