Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin :
Springer,
2005
Berlin ; New York : 2005 |
Series: | Lecture notes in computer science ;
3395 Lecture notes in computer science ; 3395 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Physical Description: | x, 224 p. : ill. ; 23 cm x, 224 pages : illustrations ; 24 cm |
---|---|
Bibliography: | Includes bibliographical references and index |
ISBN: | 354025109X (pbk.) 354025109X (softcover) |
ISSN: | 0302-9743 ; |