GitHub repository: Formal-Systems-Laboratory/rvm-parser
Primary language: Shell
Created: 2015-11-13T00:28:29Z
Description: Parsing RVM and MOP specifications using K framework