Research Catalog

Title

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.).

Author

FATES 2003 (2003 : Montréal, Québec)

Publication

Berlin ; New York : Springer, c2004.

Items in the Library & Off-site

Details

Additional Authors

• Petrenko, Alexandre.
• Ulrich, Andreas, Dr. Ing.
• IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec)

Description

viii, 266 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2931

Subjects

• Computer software > Testing > Congresses
• Formal methods (Computer science) > Congresses

Note

• In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003--Pref.

Bibliography (note)

• Includes bibliographical references and index.

Additional Formats (note)

• Also available via the World Wide Web.

Call Number

JSE 04-854

ISBN

3540208941 (acid-free paper)

LCCN

2004041812

OCLC

54111442

Conference

FATES 2003 (2003 : Montréal, Québec)

Title

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.).

Imprint

Berlin ; New York : Springer, c2004.

Series

Lecture notes in computer science ; 2931

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Petrenko, Alexandre.

Ulrich, Andreas, Dr. Ing.

IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec)

Research Call Number

JSE 04-854