The Larch Project at SRC

Larch is a multi-site project exploring methods, languages, and tools for the practical use of formal specifications. Here is the Larch Project home page.

Jim Horning