Searching for authors named Mark Saaltink – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Z and EVES
- …Z and EVES Technical Report TR-91-5449-02 Mark Saaltink Release date: March 11, 1993 ORA Canada 265…
- Add To MetaCart
-
The Z/EVES 2.0 Mathematical Toolkit
- …The Z/EVES 2.0 Mathematical Toolkit TR-99-5493-05b Mark Saaltink Release date: October 1999 ORA…
- Cited by 2 (1 self) – Add To MetaCart
-
The Z/EVES User's Guide
- …The Z/EVES User's Guide TR-97-5493-06 Mark Saaltink Release date: September 1997 ORA Canada 267…
- Cited by 4 (1 self) – Add To MetaCart
-
Fixed Points in Chain-Complete Partial Orders
- …Fixed points in chain-complete partial orders TR-93-5463-02 Mark Saaltink Release date: October…
- Cited by 2 (1 self) – Add To MetaCart
-
Alternative Semantics for Verdi
- …Alternative Semantics for Verdi TR-90-5446-02 Mark Saaltink Release date: November 1990 ORA Canada…
- Cited by 7 (4 self) – Add To MetaCart
-
The Z/EVES Mathematical Toolkit Version 2.2 for Z/EVES Version 1.5
- …The Z/EVES Mathematical Toolkit Version 2.2 for Z/EVES Version 1.5 TR-97-5493-05a Mark Saaltink…
- Cited by 1 (0 self) – Add To MetaCart
-
Translating Structured Commands Into Linear Code
- …Translating structured commands into linear code TR-93-5463-04 Mark Saaltink Release date: October…
- Cited by 1 (1 self) – Add To MetaCart
-
The Z/EVES System
- …The Z/EVES System Mark Saaltink (mark@(email omitted);) ORA Canada 267 Richmond Road Ottawa, Ontario K1Z…
- Cited by 64 (1 self) – Add To MetaCart
-
Domain Checking Z Specifications
- …Domain Checking Z Specifications 3 Mark Saaltink ORA Canada 267 Richmond Rd., Ottawa, Ont. K1Z 6X3…
- Cited by 3 (0 self) – Add To MetaCart
-
A Second Alternative Semantics for Verdi
- …A Second Alternative Semantics for Verdi TR-93-5463-03 Mark Saaltink Release date: October 1993 ORA…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
