Pages that link to "Item:Q25238"

From MaRDI portal

← SAFECode (Q25238)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to SAFECode (Q25238):

Displaying 3 items.

Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings (Q385988) (← links)
A theory of platform-dependent low-level software (Q3189840) (← links)
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (Q3522062) (← links)

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