CMU Larch Work

Assorted work related to the Larch family of specification is available via anonymous FTP from ftp.cs.cmu.edu in the directory /afs/cs/project/larch/ftp (here).

For more Larch-related information, see the DEC SRC Larch page.

Jeannette. Wing@cs.cmu.edu (last updated 4-June-94)