Pages that link to "Item:Q1974478"

From MaRDI portal

← Revising \(Z\). II: Logical development (Q1974478)

Jump to:navigation, search

The following pages link to Revising \(Z\). II: Logical development (Q1974478):

Displaying 2 items.

An analysis of refinement in an abortive paradigm (Q851133) (← links)
Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)

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