Pages that link to "Item:Q800712"

From MaRDI portal

← The axiomatic semantics of programs based on Hoare's logic (Q800712)

Jump to:navigation, search

The following pages link to The axiomatic semantics of programs based on Hoare's logic (Q800712):

Displaying 3 items.

Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
Some general incompleteness results for partial correctness logics (Q1110500) (← links)
Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)

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