Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Larch family
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Formal_methods/tw4FCWIb">Formal methods</a></li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.sds.lcs.mit.edu/spd/larch">Official website</a></li> <li><a href="http://www.informatik.uni-bremen.de/cofi/index.php/CASL">CASL, The Common Algebraic Specification Language</a>.</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Guttag, John V.; Horning, James J. (1993). Larch: Languages and Tools for Formal Specification (PDF). Springer-Verlag. ISBN 978-1-4612-2704-5. <a href="978-1-4612-2704-5" target="_blank">978-1-4612-2704-5</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> </ol>