%0 Conference Paper %1 nebut_requirements_2003 %A Nebut, Clémentine %A Fleurey, Franck %A Traon, Yves Le %A Jézéquel, Jean-Marc %B ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering %C Washington, DC, USA %D 2003 %I IEEE Computer Society %K imported %P 85 %T Requirements by Contracts allow Automated System Testing %@ 0-7695-2007-3

@inproceedings{nebut_requirements_2003, added-at = {2013-02-28T11:13:35.000+0100}, address = {Washington, {DC}, {USA}}, author = {Nebut, Cl{\'e}mentine and Fleurey, Franck and Traon, Yves Le and J{\'e}z{\'e}quel, {Jean-Marc}}, biburl = {https://www.bibsonomy.org/bibtex/2a088cb171d50dfe3aabd477fbe68e32d/fritzsolms}, booktitle = {{{ISSRE} '03: Proceedings of the 14th International Symposium on Software Reliability Engineering}}, interhash = {e14ad51d4704e50ab611b2dcdfa2f933}, intrahash = {a088cb171d50dfe3aabd477fbe68e32d}, isbn = {0-7695-2007-3}, keywords = {imported}, lccn = {0030}, pages = 85, publisher = {{IEEE} Computer Society}, timestamp = {2013-02-28T11:14:00.000+0100}, title = {{Requirements by Contracts allow Automated System Testing}}, year = 2003 }