Pages that link to "Item:Q1974477"

From MaRDI portal

← Revising \(Z\). I: Logic and semantics (Q1974477)

Jump to:navigation, search

The following pages link to Revising \(Z\). I: Logic and semantics (Q1974477):

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/Item:Q1974477"