Searching for "Z and Eves." – sorted by Relevance.
108 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 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
-
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
-
The Z/EVES Reference Manual
- …The Z/EVES Reference Manual (for Version 1.5) TR-97-5493-03d Irwin Meisels and Mark Saaltink…
- Add To MetaCart
-
Report on Z/EVES and the Z Browser
- …Report on Z/EVES and the Z Browser TR-96-5505-06 Irwin Meisels Release date: March 1996 ORA Canada…
- 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
-
Software Manual for Unix Z/EVES Version 1.5
- …Software Manual for Unix Z/EVES Version 1.5 TR-97-6028-01c Irwin Meisels Release date: June 1996…
- Cited by 1 (0 self) – 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 2.0 User's Guide
- …The Z/EVES 2.0 User’s Guide TR-99-5493-06a Mark Saaltink Release date: October 1999 ORA Canada One…
- Cited by 3 (0 self) – Add To MetaCart
-
Identifying pre-conditions with the Z/EVES theorem prover
- …Identifying pre-conditions with the Z/EVES theorem prover Yves Ledru Laboratoire Logiciels…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
