Tampere University of Technology

TUTCRIS Research Portal

Formal Approaches to Testing of Software

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationFormal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings
EditorsT. Hierons, T. Jeron
Publication statusPublished - 2002
Publication typeA4 Article in a conference publication

Publication forum classification