Title

Test automation for reactive systems. Theory and practice

Title Supplement
Dagstuhl Seminar 98361
Person Involved
Publisher
Publishing Place
Saarbrücken
Publication Date
1998
Series
Dagstuhl-Seminar-Report; 223
Conference