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

書誌事項

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.)

(Lecture notes in computer science, 2931)

Springer, c2004

大学図書館所蔵 件 / 21

この図書・雑誌をさがす

注記

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

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ