Samuel H. Valentine

11 papers C 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2000 — conf
On Mutually Recursive Free Types in Z.
ZB
Ian Toyn, Samuel H. Valentine, David A. Duffy
2000 — conf
Type-Constrained Generics for Z.
ZB
Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
2000 — conf
Typechecking Z.
ZB
Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
1998 — conf
Inconsistency and Undefinedness in Z - A Practical Guide.
ZUM
Samuel H. Valentine
1998 C conf
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
ICFEM
John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
1995 — conf
Equal Rights for Schemas in Z.
ZUM
Samuel H. Valentine
1995 J jnl
The programming language Z-.
Inf. Softw. Technol.
Samuel H. Valentine
1992 — conf
Putting Numbers into the Mathematical Toolkit.
Z User Workshop
Samuel H. Valentine
1991 — conf
Z--, an Executable Subset of Z.
Z User Workshop
Samuel H. Valentine
1990 — conf
A Video-based Training Course in Reading Z Specifications.
Z User Workshop
Allan Norcliffe, Samuel H. Valentine
1974 J jnl
Comparative Notes on ALGOL 68 and PL/I.
Comput. J.
Samuel H. Valentine