Pages that link to "Item:Q5178856"

From MaRDI portal

← A semantic model of types and machine instructions for proof-carrying code (Q5178856)

Jump to:navigation, search

The following pages link to A semantic model of types and machine instructions for proof-carrying code (Q5178856):

Displayed 2 items.

Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) ‎ (← links)
Automated techniques for provably safe mobile code. (Q1853627) ‎ (← links)

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