Larch/CLU(ID:1232/lar003)

Larch specification language for CLU.
Related languages
CLU => Larch/CLU   Spec written in
Larch => Larch/CLU   Implementation
References:
  • Liskov B. & J. Guttag, Abstraction and Specification in Program Development, MIT Press 1986. view details