Samuel H. Valentine
According to our database1,
Samuel H. Valentine
authored at least 11 papers
between 1974 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
1995
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995
1992
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992
1991
Z--, an Executable Subset of Z.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991
1990
A Video-based Training Course in Reading Z Specifications.
Proceedings of the Z User Workshop, 1990
1974