1. International Workshop on Larch 1992: Dedham, Massachusetts, USA

Ursula Martin, Jeannette M. Wing (Eds.): First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing Springer 1993, ISBN 3-540-19804-0 BibTeX

@proceedings{DBLP:conf/larch/1992,
  editor    = {Ursula Martin and
               Jeannette M. Wing},
  title     = {First International Workshop on Larch, Proceedings of the first
               First International Workshop on Larch, Dedham, Massachusetts,
               USA, 13-15 July 1992},
  booktitle = {Larch},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19804-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

John W. Baugh Jr.: Is Engineering Software Amenable to Formal Specification? 1-17 BibTeX
Michel Bidoit, Rolf Hennicker: How to Prove Observational Theorems with LP. 18-35 BibTeX
Karl-Heinz Buth: Using SOS Definitions in Term Rewriting Proofs. 36-54 BibTeX
Boutheina Chetali, Pierre Lescanne: An Exercise in LP: The Proof of a Non Restoring Division Circuit. 55-68 BibTeX
Christine Choppy, Michel Bidoit: Integrating ASSPEGIQUE and LP. 69-85 BibTeX
Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. 86-97 BibTeX
Gary Feldman, Joseph Wild: The DECspec Project: Tools for Larch/C. 98-103 BibTeX
David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. 104-141 BibTeX
Kevin D. Jones: A Semantics for a Larch/Modula-3 Interface Language. 142-158 BibTeX
Gary T. Leavens, Yoonsik Cheon: Preliminary Design of Larch/C++. 159-184 BibTeX
Niels Mellergaard, Jørgen Staunstrup: Generating Proof Obligations for Circuits. 185-200 BibTeX
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. 201-226 BibTeX
E. A. Scott, K. J. Norrie: Using LP to Study the Language PL⁺₀. 227-245 BibTeX
Yang Meng Tan: Semantic analysis of Larch Interface Specifications. 246-261 BibTeX
Mark T. Vandevoorde: Optimizing Programs with Partial Specifications. 262-281 BibTeX
Frédéric Voisin: A New Front-End for the Larch Prover. 282-296 BibTeX
Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski: Thoughts on a Larch/ML and a New Application for LP. 297-312 BibTeX