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

LC Class

005

LC Number

.131

LC CutterNumber

F 252 F

تاريخ ورود اطلاعات

1383/07/01

Publication Year

2004

Publication

Springer-Verlag

Series

Lecture notes in computer science; 2931

Subject

Formal methods (Computer science)- Congresses,Computer software- Testing- Congresses

Editor

Edited by Alexandre Petrenko,Andreas Ulrich

DocumentNumber

31169

ISBNN

, 1 , 3441 , 3-1

RecordNumber

9712

Link To Document