Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

Author:Jens Grabowski, Brian Nielsen (eds.).
Publisher:Springer
ISBN:354025109X (pbk.) :
Publication Date:2005
其他作者:Grabowski, Jens. ; Nielsen, Brian
語言:zh
出版地:Berlin ; New York :
Description

x, 224 p. ::ill. ;:24 cm.