%0 Conference Paper %1 conf/kbse/ShaikhCWM10 %A Shaikh, Asadullah %A Clarisó, Robert %A Wiil, Uffe Kock %A Memon, Nasrullah %B ASE %D 2010 %E Pecheur, Charles %E Andrews, Jamie %E Nitto, Elisabetta Di %I ACM %K dblp %P 185-194 %T Verification-driven slicing of UML/OCL models. %U http://dblp.uni-trier.de/db/conf/kbse/ase2010.html#ShaikhCWM10 %@ 978-1-4503-0116-9

@inproceedings{conf/kbse/ShaikhCWM10, added-at = {2018-11-14T00:00:00.000+0100}, author = {Shaikh, Asadullah and Clarisó, Robert and Wiil, Uffe Kock and Memon, Nasrullah}, biburl = {https://www.bibsonomy.org/bibtex/26668bb5605b4d9e16e04eb17c1ca59de/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2010}, editor = {Pecheur, Charles and Andrews, Jamie and Nitto, Elisabetta Di}, ee = {https://www.wikidata.org/entity/Q57594286}, interhash = {e65ba44bcacf206a05976cd25d2e6a99}, intrahash = {6668bb5605b4d9e16e04eb17c1ca59de}, isbn = {978-1-4503-0116-9}, keywords = {dblp}, pages = {185-194}, publisher = {ACM}, timestamp = {2018-11-15T16:42:17.000+0100}, title = {Verification-driven slicing of UML/OCL models.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2010.html#ShaikhCWM10}, year = 2010 }