Notes on Model Checking and Abstraction in Rewriting Logic

Meseguer Guaita, JoséPalomino Tarjuelo, MiguelMartí Oliet, Narciso2023-06-202023-06-202003-12-08https://hdl.handle.net/20.500.14352/52231engNotes on Model Checking and Abstraction in Rewriting Logicjournal articlehttp://maude.sip.ucm.es/~miguelpt/bibliographyopen accessModel checkingRewriting logicMaudeAbstractionSeguridad informática