Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992 /
International Workshop on Larch(1st :1992 :Dedham, Mass.)
Martin, Ursula,1953-
Wing, Jeannette Marie.
London : Springer-Verlag,
c1993.
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index.
Larch prover
Automatic theorem proving