Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

From MaRDI portal

(Redirected from Publication:880987)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Representing_the_MSR_cryptoprotocol_specification_language_in_an_extension_of_rewriting_logic_with_dependent_types&oldid=65055672"