%0 Conference Paper %1 conf/wrla/RiescoVM10 %A Riesco, Adrián %A Verdejo, Alberto %A Martí-Oliet, Narciso %B WRLA %D 2010 %E Ölveczky, Peter Csaba %I Springer %K dblp %P 226-242 %T Enhancing the Debugging of Maude Specifications. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2010.html#RiescoVM10 %V 6381 %@ 978-3-642-16309-8

@inproceedings{conf/wrla/RiescoVM10, added-at = {2019-10-19T00:00:00.000+0200}, author = {Riesco, Adrián and Verdejo, Alberto and Martí-Oliet, Narciso}, biburl = {https://www.bibsonomy.org/bibtex/24515a9075438f4234eabf73683c510f8/dblp}, booktitle = {WRLA}, crossref = {conf/wrla/2010}, editor = {Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-642-16310-4_15}, interhash = {81803776417aa4a99df0860f3efcc881}, intrahash = {4515a9075438f4234eabf73683c510f8}, isbn = {978-3-642-16309-8}, keywords = {dblp}, pages = {226-242}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:59:30.000+0200}, title = {Enhancing the Debugging of Maude Specifications.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2010.html#RiescoVM10}, volume = 6381, year = 2010 }