https://catalogue-scientifique.canada.ca/record=2268674~S6*frc
itt corp alexandria va advanced engineering and science div, 2004
This paper presents a shallow and hence efficient embedding of the security protocol specification language MSR into rewriting logic with dependent types, an...
Publication gouvernementale