- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 10 |      | Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263 |
| 9 | | Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King: Typechecking Z. ZB 2000: 264-285 |
| 8 | | Ian Toyn, Samuel H. Valentine, David A. Duffy: On Mutually Recursive Free Types in Z. ZB 2000: 59-74 |
| 1998 | ||
| 7 | | 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) |
| 1 | Simon Burton | [7] |
| 2 | John A. Clark (John Andrew Clark) | [7] |
| 3 | David A. Duffy | [8] |
| 4 | Andy Galloway | [7] |
| 5 | Steve King | [9] [10] |
| 6 | John A. McDermid | [7] |
| 7 | Allan Norcliffe | [2] |
| 8 | Susan Stepney | [9] [10] |
| 9 | Ian Toyn | [7] [8] [9] [10] |
| 10 | Nigel Tracey | [7] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page