S. J. Garland

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Larch: Languages and Tools for Formal Specification

John V. Guttag and others (1993) · Springer New York

Using transformations and verification in circuit design

J. B. Saxe and others (1992) · Designing Correct Circuits · North-Holland