Automatic Inference of Specifications in the K Framework

Alpuente Frasnedo María, Pardo Pont Daniel, Villanueva García Alicia

2015

Electronic Proceedings in Theoretical Computer Science