Media type: E-Article Title: Automatic Inference of Specifications in the K Framework Contributor: Alpuente, María; Pardo, Daniel; Villanueva, Alicia Published: Open Publishing Association, 2015 Published in: Electronic Proceedings in Theoretical Computer Science, 200 (2015), Seite 1-17 Language: English DOI: 10.4204/eptcs.200.1 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access