Advertisement

LP: The larch prover

  • Stephen J. Garland
  • John V. Guttag
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Stephen J. Garland
  • John V. Guttag
    • 1
  1. 1.MIT Laboratory for Computer ScienceCambridge

Personalised recommendations