Mapping modular SOS to rewriting logic

Christiano De O. Braga, E. Hermann Hæusler, José Meseguer, Peter D. Mosses

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Mapping modular SOS to rewriting logic'. Together they form a unique fingerprint.

Keyphrases

Computer Science