%0 Conference Paper %1 journals/corr/AlpuentePV15 %A Alpuente, María %A Pardo, Daniel %A Villanueva, Alicia %B PROLE %D 2015 %E Navarro, Marisa %K dblp %P 1-17 %T Automatic Inference of Specifications in the K Framework. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs200.html#AlpuentePV15 %V 200

@inproceedings{journals/corr/AlpuentePV15, added-at = {2018-11-14T00:00:00.000+0100}, author = {Alpuente, María and Pardo, Daniel and Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/2c4968344acb31e7e28c0325ee18f01df/dblp}, booktitle = {PROLE}, crossref = {journals/corr/Navarro15}, editor = {Navarro, Marisa}, ee = {https://www.wikidata.org/entity/Q57978114}, interhash = {ff61b00323eb817359b911bd622c18bd}, intrahash = {c4968344acb31e7e28c0325ee18f01df}, keywords = {dblp}, pages = {1-17}, series = {EPTCS}, timestamp = {2018-11-15T16:38:12.000+0100}, title = {Automatic Inference of Specifications in the K Framework.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs200.html#AlpuentePV15}, volume = 200, year = 2015 }