| 2000 |
|---|
| 10 | EE | Samuel H. Valentine,
Ian Toyn,
Susan Stepney,
Steve King:
Type-Constrained Generics for Z.
ZB 2000: 250-263 |
| 9 | EE | Ian Toyn,
Samuel H. Valentine,
Susan Stepney,
Steve King:
Typechecking Z.
ZB 2000: 264-285 |
| 8 | EE | Ian Toyn,
Samuel H. Valentine,
David A. Duffy:
On Mutually Recursive Free Types in Z.
ZB 2000: 59-74 |
| 1998 |
|---|
| 7 | EE | John A. McDermid,
Andy Galloway,
Simon Burton,
John A. Clark,
Ian Toyn,
Nigel Tracey,
Samuel H. Valentine:
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
ICFEM 1998: 76- |
| 6 | | Samuel H. Valentine:
Inconsistency and Undefinedness in Z - A Practical Guide.
ZUM 1998: 233-249 |
| 1995 |
|---|
| 5 | | Samuel H. Valentine:
Equal Rights for Schemas in Z.
ZUM 1995: 183-202 |
| 1992 |
|---|
| 4 | | Samuel H. Valentine:
Putting Numbers into the Mathematical Toolkit.
Z User Workshop 1992: 9-36 |
| 1991 |
|---|
| 3 | | Samuel H. Valentine:
Z--, an Executable Subset of Z.
Z User Workshop 1991: 157-187 |
| 1990 |
|---|
| 2 | | Allan Norcliffe,
Samuel H. Valentine:
A Video-based Training Course in Reading Z Specifications.
Z User Workshop 1990: 337-342 |
| 1974 |
|---|
| 1 | | Samuel H. Valentine:
Comparative Notes on ALGOL 68 and PL/I.
Comput. J. 17(4): 325-331 (1974) |
