%0 Conference Paper %1 conf/icms/AlpuenteBS18 %A Alpuente, María %A Ballis, Demis %A Sapiña, Julia %B ICMS %D 2018 %E Davenport, James H. %E Kauers, Manuel %E Labahn, George %E Urban, Josef %I Springer %K dblp %P 1-10 %T Inferring Safe Maude Programs with ÁTAME. %U http://dblp.uni-trier.de/db/conf/icms/icms2018.html#AlpuenteBS18 %V 10931 %@ 978-3-319-96418-8

@inproceedings{conf/icms/AlpuenteBS18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Alpuente, María and Ballis, Demis and Sapiña, Julia}, biburl = {https://www.bibsonomy.org/bibtex/2962479ec3911ffdfbc9da935bdec153c/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2018}, editor = {Davenport, James H. and Kauers, Manuel and Labahn, George and Urban, Josef}, ee = {https://doi.org/10.1007/978-3-319-96418-8_1}, interhash = {fd0c16a5163928317caefc107a173eb9}, intrahash = {962479ec3911ffdfbc9da935bdec153c}, isbn = {978-3-319-96418-8}, keywords = {dblp}, pages = {1-10}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:40:26.000+0200}, title = {Inferring Safe Maude Programs with ÁTAME.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2018.html#AlpuenteBS18}, volume = 10931, year = 2018 }