First International Workshop on Larch
Subtitle: proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
By: Ursula Martin and Jeannette M. Wing (eds.).
Contributors: Martin, Ursula, 1953-; Wing, Jeannette Marie.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1993
Place of publication: London; New York
Language: eng
Number of pages: 312
Subjects: Larch prover -- Congresses; Automatic theorem proving -- Congresses
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."