Samuel H. Valentine

发表

Samuel H. Valentine, 1992, Z User Workshop.
Samuel H. Valentine, 1991, Z User Workshop.
John A. Clark, John A. McDermid, Simon Burton, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Susan Stepney, Steve King, Samuel H. Valentine, 2000, ZB.
Samuel H. Valentine, 1995, Inf. Softw. Technol..
Samuel H. Valentine, Allan Norcliffe, 1990, Z User Workshop.
Samuel H. Valentine, S. Valentine, 1974, Comput. J..
Samuel H. Valentine, Ian Toyn, David A. Duffy, 2000, ZB.
Susan Stepney, Steve King, Samuel H. Valentine, 2000, ZB.