| Originalsprache | englisch |
|---|---|
| Titel | Software Engineering and Formal Methods 2010 |
| Herausgeber (Verlag) | . |
| Seiten | 1-10 |
| Publikationsstatus | Veröffentlicht - 2010 |
Synthesize it: from Design by Contract™to Meaningful Test Input Data
Stefan Galler, Martin Weiglhofer, Franz Wotawa
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung