%0 Conference Paper %1 conf/qsic/BarnettGSTV03 %A Barnett, Michael %A Grieskamp, Wolfgang %A Schulte, Wolfram %A Tillmann, Nikolai %A Veanes, Margus %B QSIC %D 2003 %I IEEE Computer Society %K %P 238-246 %T Validating Use-Cases with the AsmL Test Tool. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2003.html#BarnettGSTV03 %@ 0-7695-2015-4

@inproceedings{conf/qsic/BarnettGSTV03, added-at = {2023-12-13T08:46:45.000+0100}, author = {Barnett, Michael and Grieskamp, Wolfgang and Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/2d26033d2dafcbc1999e00b3e207adb8b/admin}, booktitle = {QSIC}, crossref = {conf/qsic/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319107}, interhash = {c74cf071dabd788cd272eea50a068262}, intrahash = {d26033d2dafcbc1999e00b3e207adb8b}, isbn = {0-7695-2015-4}, keywords = {}, pages = {238-246}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:46:45.000+0100}, title = {Validating Use-Cases with the AsmL Test Tool.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2003.html#BarnettGSTV03}, year = 2003 }