GitHub repository: AdRiAnIlloO/TFM
Description: Maude-NPA JBUI: A JSON-based User Interface for the protocol analysis tool Maude-NPA