| Original language | English |
|---|---|
| Title of host publication | Compsac 05, The Twenty-Ninth Annual International Computer Software & Applications Conference, Workshop Papers and Fast Abstracts |
| Place of Publication | Los Alamitos, California |
| Publisher | IEEE Computer Society |
| Pages | 219-222 |
| ISBN (Print) | 0-7695-2413-3 |
| Publication status | Published - 2005 |
A Framework for Efficient Contract-based Testing of Software Components
Egon Valentini, Edmund Haselwanter, Gerhard Fliess
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review