A Graphical User Interface for Maude-NPA

S. Santiago, C. Talcott, S. Escobar, C. Meadows, J. Meseguer

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A Graphical User Interface for Maude-NPA'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science