Advertisement

The Larch approach to specification

  • John V. Guttag
Invited Speakers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • John V. Guttag
    • 1
  1. 1.MIT Laboratory for Computer ScienceCambridge

Personalised recommendations