The following pages link to Investigating Z (Q4952026):
Displaying 6 items.
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- The specification logic \(\nu \)Z (Q851135) (← links)
- The standard logic of \(Z\) is inconsistent (Q1293887) (← links)
- Revising \(Z\). II: Logical development (Q1974478) (← links)
- The specification logic \(\nu\mathsf{Z}\) (Q2863834) (← links)
- (Q5496427) (← links)