[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Improving Model-Checkers for Software Testing
Fraser, Gordon, Wotawa, FranzYear:
2007
Language:
english
DOI:
10.1109/qsic.2007.4385477
File:
PDF, 138 KB
english, 2007