Pages that link to "Item:Q1749116"

From MaRDI portal

← Fully abstract trace semantics for protected module architectures (Q1749116)

Jump to:navigation, search

The following pages link to Fully abstract trace semantics for protected module architectures (Q1749116):

Displaying 2 items.

Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q1749116"